From programs to object code using logic and logic programming
J Bowen - … —Concepts, Tools, Techniques: Proceedings of the …, 1992 - Springer
A compiler may be specified by a description of how each construct of the source language
is translated into a sequence of object code instructions. If the machine that interprets the
object code is specified in the source language itself, then the compiler may be verified
using algebraic laws about the programming language constructs. By adopting a subset of
the programming language occam, we can benefit from the large number of existing laws
which have already been proved for this language. The compiling specification theorems …
is translated into a sequence of object code instructions. If the machine that interprets the
object code is specified in the source language itself, then the compiler may be verified
using algebraic laws about the programming language constructs. By adopting a subset of
the programming language occam, we can benefit from the large number of existing laws
which have already been proved for this language. The compiling specification theorems …
[CITATION][C] Fromprograms toobject codeusing logic and logic programming
JP Bowen - … , Tools, Techniques, Springer-Verlag, Workshops in …, 1992
Showing the best results for this search. See all results