A Formal Semantics for Finalizers.

Marcus Amorim Leal Roberto Ierusalimschy

Published in: J. Univers. Comput. Sci. (2005)

Keyphrases

formal semantics
operational semantics
er model
logical language
first order logic
modeling language
formal language
speech acts
epistemic logic
modelling language
theorem prover
logical reasoning
database
domain knowledge
ontology languages
black box
owl dl ontology