Compositional characterization of observable program properties

DOI10.1051/ITA/1992260504031MaRDI QIDQ4020510zbMATH OpenOpenAlexFDO

Authors

Publication date 17 January 1993

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92425

zbMATH Keywords

completenessdenotational semanticssafetycorrectnessstepwise refinementabstractionslax functorsabstract interpretationsprogram behaviours

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Abstract Interpretation, Logical Relations, and Kan Extensions
• Making abstract interpretations complete
• Making abstract models complete
• Transforming semantics by abstract interpretation
• scientific article; zbMATH DE number 1953281

Cites work

• scientific article; zbMATH DE number 431765 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3938547 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 17826 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3995030 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Constructive versions of Tarski's fixed point theorems
• Sometime = always + recursion always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs
• Strictness analysis for higher-order functions
• The Category-Theoretic Solution of Recursive Domain Equations

Cited in

(4)

• A categorical framework for program semantics and semantic abstraction
• scientific article; zbMATH DE number 3909717 (Why is no real title available?)
• Reducing behavioural to structural properties of programs with procedures
• scientific article; zbMATH DE number 5856093 (Why is no real title available?)

This page was built for publication: Compositional characterization of observable program properties

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