Keyphrases
- object oriented
- dynamic logic
- programming language
- recursive programs
- object oriented databases
- conceptual modeling
- logic programming
- data model
- computer programs
- predicate logic
- modal logic
- declarative semantics
- answer sets
- operational semantics
- asynchronous circuits
- query language
- object oriented modeling
- object oriented programs
- test cases
- software engineering
- control flow
- java language
- object oriented technology
- databases