A General Axiom of Assignment
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Verification of Array, Record, and Pointer Operations in PascalACM Transactions on Programming Languages and Systems, 1979
- Data Structures and Correctness of ProgramsJournal of the ACM, 1979
- The Multiple Assignment StatementIEEE Transactions on Software Engineering, 1978
- Proof rules for the programming language EuclidActa Informatica, 1978
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969