Formalizing Java-MaC.

Usa Sammapun Raman Sharykin Margaret DeLap Myong Kim Steve Zdancewic

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

open source
java programs
programming language
source code
object oriented
development environment
genetic algorithm
web applications
database applications
object oriented programming
distributed object
java applets
java virtual machine
byte code