Invariance of Approximate Semantics with Respect to Program Transformations.
Robert GiegerichUlrich MönckeReinhard WilhelmPublished in: GI Jahrestagung (1981)
Keyphrases
- intended meaning
- semantically equivalent
- transformation rules
- formal semantics
- conceptual model
- image transformations
- programming language constructs
- invariant representations
- declarative semantics
- control flow
- computer programs
- discriminative power
- semantic information
- program execution
- invariant properties
- stable model semantics
- invariance properties
- logic programming
- programming language
- databases