A Verified Compiler For A Structured Assembly Language
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 253-262
- https://doi.org/10.1109/hol.1991.596292
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A demonstrably correct compilerFormal Aspects of Computing, 1991
- A mechanically verified code generatorJournal of Automated Reasoning, 1989
- A mechanically verified language implementationJournal of Automated Reasoning, 1989
- Automating Recursive Type Definitions in Higher Order LogicPublished by Springer Nature ,1989
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Implementing Safety-Critical Systems: The VIPER MicroprocessorPublished by Springer Nature ,1988