Axiomatic definitions of programming languages: a theoretical assessment (preliminary report)
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying programming language semantics: a tutorial and critique of a paper by Hoare and Lauer
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computability and completeness in logics of programs (Preliminary Report)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
On the expressive power of Dynamic Logic (Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Journal of the ACM (JACM)
Hi-index | 0.00 |
Sufficient conditions are given for partial correctness assertions to determine the input-output semantics of quite general classes of programming languages. This determination cannot be unique unless states which are indistinguishable by predicates in the assertions are identified. Even when indistinguishable states are identified, partial correctness assertions may not suffice to determine program semantics.