A Partial-Correctness Semantics for Modelling Assembler Programs.
Geoffrey WatsonColin J. FidgePublished in: SEFM (2003)
Keyphrases
- formal semantics
- stable model semantics
- fixpoint semantics
- control flow
- provably correct
- neural network
- stable models
- normal logic programs
- logic programs
- database
- database languages
- correctness criterion
- dynamic logic
- modelling language
- programming language constructs
- nonmonotonic logics
- fixpoint
- control program
- automatic programming
- model theoretic
- semantic information