Deriving correctness properties of compiled code
- 1 August 1993
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 3 (1-2) , 83-115
- https://doi.org/10.1007/bf01383985
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- A programming logic for a verified structured assembly languagePublished by Springer Nature ,2005
- A Verified Compiler For A Structured Assembly LanguagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order LogicPublished by Elsevier ,1993
- Compiler Correctness and Input/OutputPublished by Springer Nature ,1993
- Generic Specification of Digital HardwarePublished by Springer Nature ,1991
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967