Object-capability languages
From Erights
(Difference between revisions)
(→Related to '''''E''''') |
(Corrected link to the tamed version of the original Pict programming language.) |
||
Line 38: | Line 38: | ||
| Perl || || [http://caperl.links.org/ CaPerl] | | Perl || || [http://caperl.links.org/ CaPerl] | ||
|- | |- | ||
- | | [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://altair.sk/mediawiki/index.php/ | + | | [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://altair.fiit.stuba.sk/mediawiki/index.php/Tamed_Pict Tamed Pict] |
|- | |- | ||
| E || E-on-E || | | E || E-on-E || |
Revision as of 15:51, 24 July 2009
Independent or Prior Objcap Languages
- Gedanken
- Actors
- Vulcan,
- Joule
- W7
- Eden, Emerald
- J-Kernel
- Plash
- AmbientTalk
- Newspeak
- 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 Ecru | |
Smallcaps | E-on-Smallcaps | |
Squeak | E-on-Squeak | SecureSqueak SqueakElibVM |
Common Lisp | E-on-CL | CL-E |
OCaml | Emily | |
Haskell | E-on-Haskell | Caskell |
Python | Twisted Python FoolsCap Secure Python CapPython safelite | |
Perl | CaPerl | |
Pict | Tamed Pict | |
E | E-on-E | |
Sebyla | ||
Javascript | E-on-JS | Caja ADsafe FBJSVats on Gears Jacaranda Microsoft WebSandbox |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities