An approach to compiler correctness using interpretation between theories (semantics, data type, verification)

Authors:
Beth Helene Levy
Affiliations:
-
Venue:
An approach to compiler correctness using interpretation between theories (semantics, data type, verification)
Year:
1986

Citing 0
Cited 1

Proving consistency and completeness of model classes using theory interpretation

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract