Debugging natural semantics specifications.

Adrian Pop Peter Fritzson

Published in: AADEBUG (2005)

Keyphrases

specification language
operational semantics
formal language
attribute grammars
database
formal specification
control flow
fault localization
multi agent
semantic information
logic programming
model based diagnosis
formal semantics
semantic representation
execution traces