Consistency analysis of decision-making programs

DOI10.1145/2535838.2535858MaRDI QIDQ5408449zbMATH OpenOpenAlexFDO

Authors Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid

Publication date 10 April 2014

Published in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.70

zbMATH Keywords

consistencygeometryprogram analysisrobustnessuncertainty

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Continuity analysis of programs
• Computability and decidability issues in the theory of consistency enforcement
• scientific article; zbMATH DE number 2162120
• scientific article; zbMATH DE number 53811
• Reliable and Efficient Computational Geometry Via Controlled Perturbation

Cited in

(3)

• Guiding Craig interpolation with domain-specific abstractions
• The Reconciliation of Decision Analyses
• Continuity analysis of programs

This page was built for publication: Consistency analysis of decision-making programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408449)