Algebraic Program Semantics for Supercomputing.
Yifeng ChenPublished in: Theories of Programming and Formal Methods (2013)
Keyphrases
- semantically equivalent
- formal semantics
- algebraic structure
- intended meaning
- declarative semantics
- semantics of logic programs
- logic programming
- semantic information
- stable model semantics
- control flow
- program execution
- higher order
- model theoretic
- database
- programming course
- programming environment
- static analysis
- neural network