Verification of compiler correctness for the WAM
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 347-361
- https://doi.org/10.1007/bfb0105415
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- IsabellePublished by Springer Nature ,1994
- A verified prolog compiler for the Warren Abstract MachineThe Journal of Logic Programming, 1992
- Warren's Abstract MachinePublished by MIT Press ,1991
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987