Structure-preserving binary relations for program abstraction

DOI10.1007/3-540-36377-7_12MaRDI QIDQ4414733zbMATH OpenFDO

Authors David A. Schmidt

Publication date 27 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660245.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Safety of abstract interpretations for free, via logical relations and Galois connections
• Extracting program logics from abstract interpretations defined by logical relations
• Programming Languages and Systems
• Abstraction and abstraction refinement
• Abstract Interpretation, Logical Relations, and Kan Extensions

Cited in

(5)

• On finite-state approximants for probabilistic computation tree logic
• Regularity of relations: A measure of uniformity
• Compositional characterization of observable program properties
• Tools and Algorithms for the Construction and Analysis of Systems
• An abstract interpretation toolkit for CRL

This page was built for publication: Structure-preserving binary relations for program abstraction

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