Continuity analysis of programs

DOI10.1145/1706299.1706308zbMath1312.68056OpenAlexW2131275552MaRDI QIDQ5255062

Roberto Lublinerman, Sumit Gulwani, Swarat Chaudhuri

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

sensitivityerrorsstabilityuncertaintycontinuityrobustnessperturbationsprogram analysisproof rules

Mathematics Subject Classification ID

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

Related Items

Generalized derivatives of computer programs, On the Versatility of Open Logical Relations, Continualization of Probabilistic Programs With Correction, Product programs and relational program logics, Combining Model Checking and Data-Flow Analysis, Is Your Software on Dope?, On the smoothness of paging algorithms, The abstract domain of trapezoid step functions, Approximate partial order reduction

Uses Software

• z3