scientific article; zbMATH DE number 1953281

zbMATH Open1026.68030MaRDI QIDQ4414733FDOQ4414733

Authors: David A. Schmidt 

Publication date: 27 July 2003

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

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

This page was built for publication:

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