Verification and the Java Virtual Machine
Joshua
Engel
Knowledge Bus Incorporated
2:00pm Friday September 8, 2000
Lecture Hall III, Administration Building
Two of the most interesting features of Java are
the ability create hardware-independent programs, and the ability
to run programs in a secure environment. Both of these properties
are actually features of the Java Virtual Machine rather than
of the Java language itself. The safety properties are particularly
remarkable, because they seem to violate the undecideability theorem.
We will investigate the properties of the JVM, and show how JVM's
verification algorithm gets around decideability problems.
Joshua Engel is the author of Programming
for the Java Virtual Machine. The book describes a variety
of alternative uses for the JVM, including how to create compilers
for other languages besides Java. He is a senior software developer
for Knowledge Bus (www.knowledgebus.com).
He is a graduate of UMBC.