Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid.
Serguei A. MokhovJoey PaquetMourad DebbabiPublished in: IMF (2008)
Keyphrases
- operational semantics
- language constructs
- data model
- query language
- modeling language
- formal semantics
- programming language
- data manipulation
- relational model
- object oriented
- mental states
- databases
- activity diagrams
- database management systems
- relational data model
- database systems
- database
- metamodel
- control flow
- speech acts
- complex objects
- expressive power
- database design
- xml data
- data processing
- query processing