Proof-carrying code: design, implementation and applications (abstract).

George C. Necula

Published in: PPDP (2000)

Keyphrases

implementation issues
modular design
low level
architectural design
design process
hardware design
design principles
case study
detailed design
code generation
design methodology
design decisions
efficient implementation
source code
neural network
design space
building blocks
data model
high level synthesis