High Integrity Compilation: A Case Study
Susan Stepney · Medical Entomology and Zoology · 1993
Introduction and background specifying a language - by example using prolog Tosca - syntax partitioning the specification Tosca - states and environments Tosca - semantics calculating the meanings of programs Ada - the target language the templates - operational semantics the square example, compiled the proofs the prolog implementation winding up concluding remarks.