On the Need for a Popular Formal Semantics.

David A. Schmidt

Published in: ACM SIGPLAN Notices (1997)

Keyphrases

formal semantics
operational semantics
logical language
logical reasoning
database
modeling language
first order logic
theorem prover
formal language
er model
domain knowledge
database management systems
speech acts
modelling language