Joe-E
From Erights
(Difference between revisions)
Line 1: | Line 1: | ||
- | Joe-E is a subset of the Java programming | + | Joe-E is a subset of the [[wikipedia:Java_%28programming_language%29|Java programming langauge]] 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' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs. | The language guarantees additional security properties by placing restrictions on Java code, but does not modify programs or change their meaning. This allows programmers' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs. | ||
Line 6: | Line 6: | ||
* [http://joe-e.googlecode.com/ Joe-E Home Page] | * [http://joe-e.googlecode.com/ Joe-E Home Page] | ||
+ | * [http://code.google.com/p/joe-e/wiki/GettingStarted Getting Started with Joe-E] | ||
+ | * [http://eclipse.joe-e.org/ Eclipse plug-in] | ||
* [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page] | * [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page] |
Revision as of 16:12, 21 February 2008
Joe-E is a subset of the Java programming langauge 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' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.