[e-lang] Draft of Joe-E, a Capability-security subset of Java
amettler at cs.berkeley.edu
Tue Aug 30 21:44:05 EDT 2005
David Wagner and I at UC Berkeley are working on a capability-secure
subset of the Java language named Joe-E. A working draft specification
of the language is available on our website, http://www.joe-e.org. An
implementation in the form of an Eclipse plug-in is in development.
Comments and criticisms are welcome.
Graduate Student Researcher
U.C. Berkeley EECS Department/ERL/TRUST Center
More information about the e-lang