An intensional semantics for elementary program transformations.
Martin C. HensonPublished in: J. Log. Comput. (1995)
Keyphrases
- semantically equivalent
- intended meaning
- control flow
- transformation rules
- computer programs
- formal semantics
- higher order
- logic programming
- programming language constructs
- conceptual schema
- default reasoning
- semantic information
- programming environment
- specification language
- conceptual graphs
- conceptual model
- program execution
- stable model semantics
- programming language
- database