Object-capability languages
From Erights
(Difference between revisions)
(→Related to '''''E''''': Emily needs her own page) |
(new links) |
||
Line 16: | Line 16: | ||
! 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://www.joe-e.org Joe-E] | + | | [http://java.sun.com Java] || [http://erights.org/download/ E-on-Java] || [http://www.joe-e.org Joe-E] [http://www.waterken.sourceforge.com 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] | ||
Line 32: | Line 32: | ||
| Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell | | Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell | ||
|- | |- | ||
- | | Python || || [http://twistedmatrix.com/ Twisted Python] | + | | Python || || [http://twistedmatrix.com/ Twisted Python] [http://twistedmatrix.com/trac/wiki/FoolsCap FoolsCap] [http://www.cs.ubc.ca/~drifty/papers/python_security.pdf Secure Python] |
|- | |- | ||
| Perl || || [http://caperl.links.org/ CaPerl] | | Perl || || [http://caperl.links.org/ CaPerl] | ||
|- | |- | ||
- | | Pi Calculus || || [https://altair.dcs.elf.stuba.sk/~kosik/tmp58/Harmless.pdf Harmless Pi] | + | | Pi Calculus || || [https://altair.dcs.elf.stuba.sk/~kosik/tmp58/Harmless.pdf Harmless Pi] [http://altair.dcs.elf.stuba.sk:60001/mediawiki/index.php/Backwater Backwater] |
|- | |- | ||
| E || E-on-E || | | E || E-on-E || |
Revision as of 05:16, 29 April 2007
Independent or Prior Objcap Languages
- Gedanken
- Actors
- Vulcan,
- Joule
- W7
- Eden, Emerald
- J-Kernel
- Plash
- 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 |
Common Lisp | E-on-CL | CL-E |
OCaml | Emily | |
Haskell | E-on-Haskell | Caps in Haskell |
Python | Twisted Python FoolsCap Secure Python | |
Perl | CaPerl | |
Pi Calculus | Harmless Pi Backwater | |
E | E-on-E | |
Sebyla |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities