A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract.
Amy P. FeltyPublished in: TLCA (2005)
Keyphrases
- high level
- higher level
- source code
- semantic web
- semantic search
- semantic annotation
- natural language understanding
- semantic knowledge
- semantically meaningful
- semantic relationships
- semantic analysis
- context dependent
- semantic level
- theorem prover
- code generation
- semantic similarity
- domain specific
- error correcting
- natural language
- case study
- information systems
- database
- semantically equivalent
- conceptual graphs
- theorem proving
- topic maps
- low level
- genetic algorithm