Joe-E is a subset of the Java programming language designed to support programming according to object-capability discipline. The language guarantees additional security properties by placing restrictions on Java code, but does not modify programs or change their meaning. This allows programmers...

#sidebar HomePageSideBar <img src="http://google-caja.googlecode.com/svn/trunk/doc/images/invaders.png" align="right" title="Invaders in a container are contained in what they can do"> Caja allows websites to <b>safely embed</b> DHTML web applications from third parties, and enables <b>rich int...

. adda is the programming language of addx, a secure and friendly system that promotes computing as a universal 2nd language . having everyone -- including children and seniors -- as its intended client requires that addx provide a programming language that is not straying far from current conv...

. addx is a virtual system like java (the vm and the language); it is composed of addm (the virtual Machine), adda (add`Automatica --the automation language), and adde (the Editor -- a user interface and toolset) . . addx is optimistically pronounced _addict's_ because something that was re...

Joe-E Doc is a version of Javadoc that integrates the taming information for Joe-E. See the [http://joe-e.googlecode.com Joe-E project] for more info. This is hosted as a separate project because it is based on code from [http://openjdk.java.net/ OpenJDK] and is thus licensed under the GPL inste...