An approach to verifiable compiling specification and prototyping
- 19 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The transputer T414 instruction setIEEE Micro, 1989
- The laws of OCCAM programmingTheoretical Computer Science, 1988
- Logic programming and compiler writingSoftware: Practice and Experience, 1980