Abstract: 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.
Publication Year: 1993
Publication Date: 1993-02-01
Language: en
Type: book
Access and Citation
Cited By Count: 43
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot