A semantics for execution levels with exceptions.

Ismael Figueroa Éric Tanter

Published in: FOAL (2011)

Keyphrases

multiple inheritance
control flow
formal semantics
high levels
default rules
logic programming
semantic information
data sets
abstraction levels
levels of abstraction
information systems
semantic representation
object oriented
active rules
operational semantics
databases
database
method invocation