Program Transformations and Algebraic Semantics.
Irène GuessarianPublished in: Theor. Comput. Sci. (1979)
Keyphrases
- algebraic structure
- logic programming
- intended meaning
- semantically equivalent
- formal semantics
- stable model semantics
- computer programs
- declarative semantics
- programming language constructs
- semantic information
- semantic representation
- database
- control flow
- specification language
- program execution
- transformation rules
- active rules
- programming environment
- conceptual model
- test cases
- databases