Continuity analysis of programs

DOI10.1145/1706299.1706308MaRDI QIDQ5255062zbMATH OpenOpenAlexFDO

Authors Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman

Publication date 11 June 2015

Published in Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1706299.1706308

zbMATH Keywords

continuityerrorsperturbationsprogram analysisproof rulesrobustnesssensitivitystabilityuncertainty

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1324833
• Analyzing program analyses
• An approach to analyzing the properties of programs
• Continuity in semantic theories of programming
• Consistency analysis of decision-making programs
• Correctness of static flow analysis in continuation semantics
• Analysis of programs and binary relations
• Reachability analysis of program variables
• scientific article; zbMATH DE number 2161330

Cited in

(15)

• The abstract domain of trapezoid step functions
• Approximate partial order reduction
• How adaptive and reliable is your program?
• Product programs and relational program logics
• Is Your Software on Dope?
• Combining model checking and data-flow analysis
• Generalized derivatives of computer programs
• On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem
• Continualization of probabilistic programs with correction
• A semantic account of metric preservation
• Consistency analysis of decision-making programs
• A non-local method for robustness analysis of floating point programs
• Software Verification of Hyperproperties Beyond k-Safety
• Certifying the fairness of KNN in the presence of dataset bias
• Abstract Lipschitz continuity. Combining semantic and quantitative approximations

Describes a project that uses

Uses Software

• z3

This page was built for publication: Continuity analysis of programs

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