Relational semantics for effect-based program transformations: higher-order store.
Nick BentonAndrew KennedyLennart BeringerMartin HofmannPublished in: PPDP (2009)
Keyphrases
- higher order
- higher order logic
- high order
- relational databases
- transformation rules
- data model
- natural images
- logic programming
- intended meaning
- formal semantics
- pairwise
- markov random field
- relational data
- stable model semantics
- control flow
- semantically equivalent
- computer programs
- relational model
- lambda calculus
- provenance information
- algebraic operations
- databases
- relational calculus
- operational semantics
- low order
- stable models
- relational learning
- semantic information
- image segmentation