Introduction to Joe-E

We have written a scientific paper with a detailed overview of Joe-E and its design. Also, our poster provides a brief overview to Joe-E.

Also, you can find a list of our scientific publications on Joe-E.

Joe-E Language Specification

The latest draft of the language spec is from September 18, 2009.

Introduction to Object Capabilities

Joe-E is an object-capability system. Want some background on object-capability systems? A short overview of the object-capability model is available on Wikipedia. Don't miss Ben Laurie's introduction to capabilities and how they provide a useful approach to access control. For another overview of some work on object-capability systems, you can watch a survey talk by David Wagner, or read his annotated slides. The cap-talk mailing list is a good place to discuss the object-capability model, and the e-lang mailing list is a good place to discuss language-based approaches to object-capabilities (such as Joe-E).

Historical Information

Older versions of the specifications, code, and other info of solely historical interest are available at the archive page.