Formal Semantics and Compiler Generation.

Published in: Programmierumgebungen und Compiler (1984)

Keyphrases

formal semantics
logical language
er model
operational semantics
first order logic
formal language
software systems
modeling language
modelling language
logical reasoning
programming language
speech acts
ontology languages
theorem prover
artificial intelligence
database
learning environment