Simulating Algebraic Specification Genericity on Languages with Initial Semantics.
Anamaria Martins MoreiraAnderson Santana de OliveiraPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- specification languages
- formal language
- formal languages
- specification language
- knowledge representation languages
- formal specification
- formal semantics
- expressive power
- operational semantics
- highly expressive
- conceptual model
- logic programming
- language independent
- high level
- language constructs
- databases
- active rules
- database
- conceptual schema
- algebraic structure
- constraint language
- action language
- modelling language
- formal methods
- database languages
- database query languages
- control flow
- text summarization