A formal semantics for program debugging.

Published in: Sci. China Inf. Sci. (2012)

Keyphrases

formal semantics
logical language
operational semantics
modelling language
er model
first order logic
modeling language
speech acts
formal language
logical reasoning
machine learning
case study
epistemic logic
owl dl ontology