Laura Titolo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logic-Based Program Synthesis and Transformation	2023-11-09	Paper
Automatic Generation of Guard-Stable Floating-Point Code	2023-03-21	Paper
A formally verified floating-point implementation of the compact position reporting algorithm	2021-05-04	Paper
An abstract interpretation framework for the round-off error analysis of floating-point programs Lecture Notes in Computer Science	2020-07-07	Paper
A formal analysis of the compact position reporting algorithm	2018-12-07	Paper
A program analysis framework for \textit{tccp} based on abstract interpretation Formal Aspects of Computing	2017-06-01	Paper
Abstract Analysis of Universal Properties for tccp Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Abstract diagnosis for tccp using a linear temporal logic Theory and Practice of Logic Programming	2014-11-25	Paper
Abstract diagnosis for timed concurrent constraint programs Theory and Practice of Logic Programming	2011-08-16	Paper

Research outcomes over time

This page was built for person: Laura Titolo