Static Analysis of Exception Handling in Ada.
Carl F. SchaeferGary N. BundyPublished in: Softw. Pract. Exp. (1993)
Keyphrases
- exception handling
- static analysis
- dynamic analysis
- source code
- domain independent
- object oriented
- conflict resolution
- object oriented programming
- workflow management
- regular expressions
- abstract interpretation
- workflow management systems
- test suite
- agent systems
- domain specific
- query language
- dynamic environments
- programming language
- multi agent
- database systems
- databases
- database