An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 804-818
https://doi.org/10.1007/978-94-009-0705-8_65

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Formal specification of the ProCoS/safemos instruction set
Microprocessors and Microsystems, 1990
The transputer T414 instruction set
IEEE Micro, 1989
The laws of OCCAM programming
Theoretical Computer Science, 1988
Logic programming and compiler writing
Software: Practice and Experience, 1980