The Hoare-Like Verification System for a Language with an Exception Handling Mechanism.
Danuta SzczepanskaPublished in: MFCS (1989)
Keyphrases
- exception handling
- object oriented programming
- development tools
- object oriented
- domain independent
- conflict resolution
- workflow management
- programming tool
- programming language
- agent systems
- workflow management systems
- model checking
- service oriented
- natural language
- intelligent agents
- electronic commerce
- relational databases