A theory of generic interpreters
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 122-134
- https://doi.org/10.1007/bfb0021719
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Abstract Theories in HOLPublished by Elsevier ,1993
- Reasoning about state machines in higher-order logicPublished by Springer Nature ,1990
- A hierarchical methodology for verifying microprogrammed microprocessorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Microprocessor design verificationJournal of Automated Reasoning, 1989
- Correctness Properties of the Viper Block Model: The Second LevelPublished by Springer Nature ,1989
- Abstraction Mechanisms for Hardware VerificationPublished by Springer Nature ,1988
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988