Joe-E is a subset of the
Java
Java (; id, Jawa, ; jv, ꦗꦮ; su, ) is one of the Greater Sunda Islands in Indonesia. It is bordered by the Indian Ocean to the south and the Java Sea to the north. With a population of 151.6 million people, Java is the world's List ...
programming language intended to support programming according to
object-capability discipline.
The language is notable for being an early object-capability subset language. It has influenced later subset languages, such as ADsafe and
Caja/Cajita, subsets of Javascript.
It is also notable for allowing methods to be verified as
functionally pure, based on their method signatures.
Verifiable Functional Purity in Java
Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner; October 2008, Conference on Computer and Communications Security.
The restrictions imposed by the Joe-E verifier include:
* Classes may not have mutable static fields, because these create global state.
* Catching out-of-memory exceptions is prohibited, because doing so allows non-deterministic execution. For the same reason, clauses are not allowed.
* Methods in the standard library may be blocked if they are deemed unsafe according to taming rules. For example, the constructor is blocked because it allows unrestricted access to the filesystem.
Cup of Joe
is slang for coffee, and so serves as a trademark-avoiding reference to Java. Thus, the name Joe-E is intended to suggest an adaptation of ideas from the E programming language
E is an object-oriented programming language for secure distributed computing, created by Mark S. Miller, Dan Bornstein, Douglas Crockford, Chip Morningstar and others at Electric Communities in 1997. E is mainly descended from the concurrent ...
to create a variant of the Java language.
Waterken Server
is written in Joe-E.
References
External links
The Joe-E project
on Google Code
Joe-E language specification
Capability systems
Java (programming language)
{{compu-prog-stub