Java Program Verification via a JVM Deep Embedding in ACL2.
Hanbing LiuJ Strother MoorePublished in: TPHOLs (2004)
Keyphrases
- java virtual machine
- byte code
- garbage collection
- program execution
- java programs
- object oriented programming
- virtual machine
- java language
- memory management
- programming language
- source code
- open source
- java applets
- object oriented
- data hiding
- vector space
- operating system
- data embedding
- natural language learning
- java card
- nonlinear dimensionality reduction
- type checking
- development environment
- java bytecode