A verified code generator for a subset of gypsy

Authors:
William David Young;Robert S. Boyer;J. Strother Moore
Affiliations:
-;-;-
Venue:
A verified code generator for a subset of gypsy
Year:
1988

Citing 0
Cited 2

Verified program support environments

Conference proceedings on Formal methods in software development
Proving Theorems About Java-Like Byte Code

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Quantified Score

Hi-index	0.00

Visualization

Abstract