A Semantics for Approximate Program Transformations
Edwin M. WestbrookSwarat ChaudhuriPublished in: CoRR (2013)
Keyphrases
- intended meaning
- logic programming
- transformation rules
- program execution
- stable model semantics
- logic programs
- semantic information
- semantically equivalent
- computer programs
- formal semantics
- declarative semantics
- programming language constructs
- semantic representation
- semantics of logic programs
- control program
- e learning
- data exchange
- semantic web
- expert systems
- metadata