An Implementation of Object-Oriented Action Semantics in Maude.
André Murbach MaidlCláudio CarvilheMartin A. MusicantePublished in: Semantics and Algebraic Specification (2009)
Keyphrases
- object oriented
- specification language
- formal specification
- relational databases
- programming language
- formal semantics
- action descriptions
- database design
- object oriented data models
- definition language
- object oriented database systems
- conceptual model
- database
- database applications
- data model
- knowledge base
- databases