Semantics of Exceptions.

K. Rustan M. Leino Jan L. A. van de Snepscheut

Published in: PROCOMET (1994)

Keyphrases

multiple inheritance
default rules
formal semantics
neural network
logic programming
database
object oriented
data sets
genetic algorithm
artificial intelligence
conceptual model
specification language
operational semantics