A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni

Published in: LICS (2002)

Keyphrases

source code
theorem prover
natural language
syntactic semantic
mathematical proofs
database systems
theorem proving
real time
static analysis
syntactic categories
language generation
program code
linear logic
semantic role labeling
semantic representation
object oriented
machine learning