Object-Oriented Operational Semantics.
Andreas PrinzBirger Møller-PedersenJoachim FischerPublished in: SAM (2016)
Keyphrases
- operational semantics
- object oriented
- data model
- formal semantics
- model theoretic
- programming language
- relational databases
- mental states
- query language
- object oriented databases
- software engineering
- declarative semantics
- denotational semantics
- object oriented systems
- design patterns
- database systems
- reverse engineering
- artificial intelligence
- autonomous agents
- test cases