A Formal Semantics Definition of Sequential Ada.

Jan Storbank Pedersen

Published in: Towards a Formal Description of Ada (1980)

Keyphrases

formal semantics
operational semantics
first order logic
formal language
modelling language
logical reasoning
modeling language
logical language
ontology languages
er model
owl dl ontology
theorem prover
semantic web
model theoretic
epistemic logic