A Proof of Correctness of the Viper Microprocessor: The First Level

Publisher Website

1 January 1988

book chapter
Published by Springer Nature

p. 27-71
https://doi.org/10.1007/978-1-4613-2007-4_2

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Implementing Safety-Critical Systems: The VIPER Microprocessor
Published by Springer Nature ,1988
Logic and Computation
Published by Cambridge University Press (CUP) ,1987
A higher-order implementation of rewriting
Science of Computer Programming, 1983