Recursive Algebraic Specifications and their Semantics.
Anne E. HaxthausenPublished in: IFIP Congress (1989)
Keyphrases
- specification language
- operational semantics
- recursive programs
- algebraic structure
- transformation rules
- formal language
- control flow
- logic programming
- formal semantics
- logic programs
- formal specification
- attribute grammars
- semantic information
- default reasoning
- programming language
- case study
- recursive algorithm
- delay insensitive
- database
- semantic representation
- conceptual model
- higher order
- high level
- model theoretic
- information systems
- databases
- data sets