LISP compilation viewed as provable semantics preserving program transformation.
Herbert StoyanPublished in: EUROCAL (1983)
Keyphrases
- programs written
- programming language
- transformation rules
- computer programs
- programming language constructs
- learning theory
- intended meaning
- semantically equivalent
- formal semantics
- high level
- logic programming
- static analysis
- programming environment
- control flow
- semantic information
- image details
- program execution
- linear transformation
- databases
- relational databases
- data model
- declarative semantics
- stable model semantics
- knowledge representation
- specification language
- data sets
- deductive databases
- wordnet