Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code.

Published in: Fundam. Informaticae (2007)

Keyphrases

databases
semantic analysis
source code
semantic information
context dependent
semantic similarity
java code
semantic representations
semantically related
semantically meaningful
semantic features
theorem prover
semantic annotation
domain ontology
semantic web
natural language
high level