A Mechanism for Exception Handling and Its Verification Rules.

Nicoletta Cocco Susi Dulli

Published in: Comput. Lang. (1982)

Keyphrases

exception handling
development tools
object oriented
domain independent
conflict resolution
production rules
object oriented programming
workflow management
agent systems
artificial intelligence
model checking
programming tool
management system
programming language
intelligent agents
active databases