Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.
Valery A. NepomniaschyIgor S. AnureevAlexey V. PromskyPublished in: Program. Comput. Softw. (2003)
Keyphrases
- specification language
- dynamic logic
- declarative semantics
- symbolic execution
- logical language
- programming language
- logic programming language
- programming language constructs
- operational semantics
- database languages
- language constructs
- logic programming
- highly expressive
- intended meaning
- object oriented languages
- agent programming
- computer programs
- java bytecode
- control structures
- model theoretic
- formal semantics
- denotational semantics
- formal language
- conceptual graphs
- fixpoint semantics
- definition language
- speech acts
- hardware designs
- natural language
- control flow
- programming environment
- logic programs
- kernel function
- language learning
- conditional logic
- model checking
- stable model semantics
- stable models
- description logics
- functional programs
- action language
- semantic information
- conceptual model
- order sorted
- support vector
- semantically equivalent
- closed world
- kernel methods
- disjunctive logic programming
- rule language
- modal logic
- formal languages
- answer sets
- object oriented
- feature space
- normal logic programs
- formal verification