Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Francesco LogozzoAgostino CortesiPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- object oriented programming
- abstract interpretation
- termination analysis
- static analysis
- object oriented
- programming language
- programming concepts
- model checking
- key concepts
- active rules
- dynamic analysis
- functional programming
- reasoning engine
- object oriented languages
- active databases
- exception handling
- source code
- data model
- database systems
- key features
- integrity constraints
- software engineering
- knowledge base