A Hoare-Like Verification System for a Language with an Exception Handling Mechanism.
Danuta SzczepanskaPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- exception handling
- object oriented programming
- object oriented
- development tools
- domain independent
- conflict resolution
- workflow management
- programming language
- agent systems
- workflow management systems
- information technology
- model checking
- natural language
- domain specific
- intelligent agents
- artificial intelligence
- management system
- multi agent systems
- decision making