Object-capability languages
From Erights
(Difference between revisions)
(→Related to '''''E''''': link to Haskell homepage) |
(local page for Joe-E) |
||
| Line 17: | Line 17: | ||
! Base language !! '''''E''''' Implementation !! Adapted to objcaps | ! Base language !! '''''E''''' Implementation !! Adapted to objcaps | ||
|- | |- | ||
| - | | [http://java.sun.com Java] || [http://erights.org/download/ E-on-Java] || [ | + | | [http://java.sun.com Java] || [http://erights.org/download/ E-on-Java] || [[Joe-E]] [http://waterken.sourceforge.net/ Waterken] [http://asyncobjects.sourceforge.net/ AsyncObjects] |
|- | |- | ||
| [http://www.mozart-oz.org/ Mozart/Oz] || || [http://www.info.ucl.ac.be/people/PVR/oze.pdf Oz-E] | | [http://www.mozart-oz.org/ Mozart/Oz] || || [http://www.info.ucl.ac.be/people/PVR/oze.pdf Oz-E] | ||
Revision as of 16:03, 21 February 2008
Independent or Prior Objcap Languages
- Gedanken
- Actors
- Vulcan,
- Joule
- W7
- Eden, Emerald
- J-Kernel
- Plash
- AmbientTalk
- Erlang - Erlang is almost, but not quite an object-capability language.
Related to E
| Base language | E Implementation | Adapted to objcaps |
|---|---|---|
| Java | E-on-Java | Joe-E Waterken AsyncObjects |
| Mozart/Oz | Oz-E | |
| C/C++ | MC | |
| Smallcaps | E-on-Smallcaps | |
| Squeak | E-on-Squeak | SecureSqueak SqueakElibVM |
| Common Lisp | E-on-CL | CL-E |
| OCaml | Emily | |
| Haskell | E-on-Haskell | Caps in Haskell |
| Python | Twisted Python FoolsCap Secure Python | |
| Perl | CaPerl | |
| Pict | Tamed Pict | |
| E | E-on-E | |
| Sebyla | ||
| Javascript | Caja ADsafe FBJSVats on Gears |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities
