On the status of proving program properties in effective interpretations

DOI10.1016/0304-3975(93)90245-OzbMath0809.68086OpenAlexW2061285801MaRDI QIDQ689289

Michał Grabowski

Publication date: 20 March 1995

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90245-o

zbMATH Keywords

program correctnesstheories of interpretations

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models of arithmetic and set theory (03C62) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Unnamed Item
• On relative completeness of Hoare logics
• Effective Axiomatizations of Hoare Logics
• Ten Years of Hoare's Logic: A Survey—Part I

This page was built for publication: On the status of proving program properties in effective interpretations