Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution.
Hubert BaumeisterPublished in: TAPSOFT, Vol.1 (1991)
Keyphrases
- operational semantics
- specification language
- formal semantics
- control flow
- neural network
- high level
- higher education
- databases
- attribute grammars
- model theoretic
- database systems
- finite state machines
- default reasoning
- semantic information
- functional requirements
- distributed systems
- case study
- relational structures
- e learning
- data sets