A Syntactic Approach to Foundational Proof-Carrying Code.

Nadeem Abdul Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni

Published in: J. Autom. Reason. (2003)

Keyphrases

natural language
source code
fully functional
semantic representation
linear logic
real time
web services
natural language processing
theorem prover
java programs
attribute grammars
syntactic categories
syntactic semantic