A formal semantics for computer languages and its application in a compiler-compiler.

Jerome A. Feldman

Published in: Commun. ACM (1966)

Keyphrases

formal semantics
er model
programming language
formal language
constraint language
software systems
operational semantics
logical language
first order logic
java bytecode
modeling language
logical reasoning
ontology languages
owl dl ontology
programs written
theorem prover
expressive power
computer systems