Marco A. Feliú

Available identifiers

zbMath Open feliu.marco-aMaRDI QIDQ1791192

List of research outcomes

Publication	Date of Publication	Type
Provably correct floating-point implementation of a point-in-polygon algorithm	2024-03-14	Paper
Eliminating unstable tests in floating-point programs	2023-11-09	Paper
Automatic Generation of Guard-Stable Floating-Point Code	2023-03-21	Paper
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs	2020-07-07	Paper
Boosting the reuse of formal specifications	2018-10-04	Paper
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages	2014-02-25	Paper

Research outcomes over time

This page was built for person: Marco A. Feliú