Continuity analysis of programs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2010, Pages 57-69

  Chaudhuri, Swarat ^a   Gulwani, Sumit ^b   Lublinerman, Roberto ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Continuity; Errors; Perturbations; Program analysis; Proof rules; Robustness; Sensitivity; Stability; Uncertainty

Indexed keywords

ARRAY SORTING; CLASSIC ALGORITHM; CONTINUOUS FUNCTIONS; CONTROL-FLOW; DATA TYPE; EMBEDDED CONTROLLERS; HAND HELD DEVICE; IMPERATIVE PROGRAMS; METRIC SPACES; MINIMUM SPANNING TREES; PERTURBATIONS; PROGRAM ANALYSIS; PROTOTYPE IMPLEMENTATIONS; SATELLITE DATA; SENSOR DATA; SHORTEST PATH; SMALL PERTURBATIONS; SYNCHRONIZATION POINTS; VERIFICATION CONDITION;

COMBINATORIAL OPTIMIZATION; COMPUTER SOFTWARE; ERRORS; LINGUISTICS; SET THEORY; SOFTWARE PROTOTYPING; STRUCTURED PROGRAMMING; TOPOLOGY; TREES (MATHEMATICS);

UNCERTAINTY ANALYSIS;

EID: 77950884830     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1706299.1706308     Document Type: Conference Paper

References (23)

1. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and Pei-Hsin Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, 1992.
2. Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, and Virginie Wiels. Robustness analysis of avionics embedded systems. In LCTES, pages 123-132, 2003.
3. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to algorithms. MIT Press and McGraw-Hill, 1990.
4. Patrick Cousot. Proving the absence of run-time errors in safetycritical avionics code. In EMSOFT, pages 7-9, 2007.
5. Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival. The ASTREÉ analyzer. In ESOP, pages 21-30, 2005.
6. Eric Goubault. Static analyses of the precision of floating-point operations. In SAS, pages 234-259, 2001.
7. Eric Goubault, Matthieu Martel, and Sylvie Putot. Asserting the precision of floating-point computations: A simple abstract interpreter. In ESOP, 2002.
8. Joseph Halpern. Reasoning about uncertainty. The MIT Press, 2003.
9. Dick Hamlet. Continuity in sofware systems. In ISSTA, pages 196-200, 2002.
10. Mats Per Erik Heimdahl, Yunja Choi, and Michael W. Whalen. Deviation analysis: A new use of model checking. Autom. Softw. Eng., 12(3):321-347, 2005.
11. Myron Kayton and Walter R. Fried. Avionics navigation systems. Wiley-IEEE, 1997.
12. Edward A. Lee. Cyber physical systems: Design challenges. In ISORC, pages 363-369, 2008.
13. Matthieu Martel. Propagation of roundoff errors in finite precision computations: A semantics approach. In ESOP, pages 194-208, 2002.
14. Antoine Miné. Relational abstract domains for the detection of floating-point run-time errors. In ESOP, pages 3-17, 2004.
15. Bradford Parkinson and James Spiker. The global positioning system: Theory and applications (Volume II). AIAA, 1996.
16. Stefan Pettersson and Bengt Lennartson. Stability and robustness for hybrid systems. In Decision and Control, volume 2, pages 1202-1207, Dec 1996.
17. Andreas Podelski and Silke Wagner. Model checking of hybrid systems: From reachability towards stability. In HSCC, pages 507-521, 2006.
18. Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, and Eric Feron. Distributed lyapunov functions in analysis of graph models of software. In HSCC, pages 443-456, 2008.
19. Ofer Strichman. Regression verification: Proving the equivalence of similar programs. In CAV, 2009.
20. Wilson Sutherland. Introduction to metric and topological spaces. Oxford University Press, 1975.
21. John Taylor. An introduction to error analysis: the study of uncertainties in physical measurements. University Science Books, 1997.
22. Tachio Terauchi and Alex Aiken. A capability calculus for concurrency and determinism. In CONCUR, pages 218-232, 2006.
23. Glynn Winskel. The formal semantics of programming languages. The MIT Press, 1993.