Unification of Four Versions of Program Semantics.
Ingrid RewitzkyChris BrinkPublished in: Formal Aspects Comput. (1998)
Keyphrases
- intended meaning
- higher order
- declarative semantics
- static analysis
- semantically equivalent
- logic programming
- formal semantics
- stable model semantics
- learning algorithm
- control flow
- argumentation semantics
- programming language constructs
- neural network
- semantics of logic programs
- control program
- program execution
- operational semantics
- theorem proving