Engineering a Sound Assertion Semantics for the Verifying Compiler.
Patrice ChalinPublished in: IEEE Trans. Software Eng. (2010)
Keyphrases
- programming language
- formal semantics
- artificial intelligence
- logic programming
- engineering design
- software engineering
- general purpose
- semantic information
- model checking
- semantic representation
- systems engineering
- distributed memory machines
- data mining
- argumentation semantics
- mechanical engineering
- electrical engineering
- schema mappings
- conceptual model
- logic programs
- natural language