Object-Oriented Visualization of Program Logic.
S.-P. LahtinenErkki SutinenAntti-Pekka TuovinenJorma TarhioPublished in: TOOLS (23) (1997)
Keyphrases
- object oriented
- object oriented concepts
- programming language
- relational databases
- logic programming
- test cases
- predicate logic
- computer programs
- object oriented modeling
- declarative semantics
- software engineering
- data visualization
- static analysis
- classical logic
- programming interface
- database applications
- modal logic
- programs written
- data model
- database schema
- functional programs
- abductive reasoning
- recursive programs
- computational properties
- interactive visualization
- learning environment
- deductive databases
- database design
- logic programs
- query language
- data analysis