255 citations
- Langley Research CenterUS4 papers
- Goddard Space Flight CenterUS3 papers
- Center for Astrophysics Harvard & SmithsonianUS2 papers
- University of California, Los AngelesUS2 papers
- University of MichiganUS2 papers
- Al-Aqsa UniversityPS1 paper
- Ames Research CenterUS1 paper
- Atmospheric and Space Technology Research Associates (United States)US1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- École PolytechniqueFR1 paper
- HeliophysicsUS1 paper
- Institut d'Astrophysique de ParisFR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020★ 1 cited
Automatic generation and verification of test-stable floating-point code
Laura Titolo, Mariano Moscato, Cesar A. Muñoz
Test instability in a floating-point program occurs when the control flow of the program diverges from its ideal execution assuming real arithmetic. This phenomenon is caused by th…
cs.PL2010★ 11 cited
Rewriting Logic Semantics of a Plan Execution Language
Gilles Dowek, César Muñoz, Camilo Rocha
The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logi…