JVer: A Java Verifier.
Ajay ChanderDavid EspinosaNayeem IslamPeter LeeGeorge C. NeculaPublished in: CAV (2005)
Keyphrases
- programming language
- open source
- source code
- byte code
- object oriented
- lightweight
- java programs
- high level
- web applications
- distributed object
- java card
- database applications
- database
- general purpose
- development environment
- user interface
- multi threaded
- case study
- advanced features
- garbage collection
- java virtual machine
- web services
- data sets