A Proof-Carrying Code Architecture for Java.
Christopher ColbyPeter LeeGeorge C. NeculaPublished in: CAV (2000)
Keyphrases
- source code
- java programs
- cross platform
- management system
- open source
- java virtual machine
- byte code
- distributed object
- code generation
- application programming interface
- software architecture
- java platform
- industry standard
- theorem prover
- programming language
- java language
- neural network
- data flow
- lightweight
- real time
- high level
- java code
- android application
- texas instruments
- code examples
- linear logic
- multi threaded
- network architecture
- database applications
- web applications