On the status of proving program properties in effective interpretations

DOI10.1016/0304-3975(93)90245-OzbMATH Open0809.68086OpenAlexW2061285801MaRDI QIDQ689289FDOQ689289

Authors: 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

Recommendations

• A completeness theorem for dynamic logic
• Effective Axiomatizations of Hoare Logics
• scientific article; zbMATH DE number 4101151
• On relative completeness of Hoare logics
• Dijkstra's interpretation of the approach to solving a problem of program correctness

zbMATH Keywords

program correctnesstheories of interpretations

Mathematics Subject Classification ID

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

Cites Work

• Ten Years of Hoare's Logic: A Survey—Part I
• On relative completeness of Hoare logics
• Effective Axiomatizations of Hoare Logics
• Title not available (Why is that?)

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

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