Separating Program Semantics from Deployment.
Nurudeen LameedPeter GrogonoPublished in: ICSOFT (PL/DPS/KE) (2008)
Keyphrases
- intended meaning
- stable model semantics
- semantically equivalent
- logic programming
- computer programs
- formal semantics
- program execution
- conceptual graphs
- neural network
- control flow
- programming environment
- real time
- logic programs
- logic programming language
- programming language
- information systems
- declarative semantics
- control program
- search engine
- programming language constructs