A Scalable Architecture for Proof-Carrying Code.

George C. Necula

Published in: FLOPS (2001)

Keyphrases

software architecture
management system
industry standard
data flow
source code
theorem proving
highly scalable
code generation
scalable distributed
database
neural network
high level
software engineering
design considerations
application programming interface