Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students
JVM '01 Paper    [JVM '01 Tech Program Index]

Pp. 91–104 of the Proceedings
next up previous
Next: Abstract

An Executable Formal Java Virtual Machine Thread Model

J Strother Moore
Department of Computer Sciences
University of Texas at Austin
Austin, Texas, 78712
moore@cs.utexas.edu

George M. Porter
Department of Computer Sciences
University of Texas at Austin
Austin, Texas, 78712
george@cs.utexas.edu



 
J Strother Moore and George M. Porter
2001-02-20

This paper was originally published in the Proceedings of the Javatm Virtual Machine Research and Technology Symposium, April 23-24, 2001, Monterey, California, USA.
Last changed: 4 Jan. 2002 ml
Technical Program
JVM '01 Home
USENIX home