Object-capability languages
From Erights
(Difference between revisions)
(→Related to '''''E''''') |
(→Related to '''''E''''') |
||
| Line 44: | Line 44: | ||
| || || [http://sebyla.sourceforge.net/ Sebyla] | | || || [http://sebyla.sourceforge.net/ Sebyla] | ||
|- | |- | ||
| - | | Javascript || E-on-JS || [http://code.google.com/p/google-caja/ Caja] [http://www.adsafe.org/ ADsafe] [http://wiki.developers.facebook.com/index.php/FBJS FBJS][http://video.google.com/videoplay?docid=452089494323007214 Vats on Gears] Jacaranda [http://websandbox.livelabs.com/ Microsoft WebSandbox] | + | | Javascript || [[E-on-JS]] || [http://code.google.com/p/google-caja/ Caja] [http://www.adsafe.org/ ADsafe] [http://wiki.developers.facebook.com/index.php/FBJS FBJS][http://video.google.com/videoplay?docid=452089494323007214 Vats on Gears] Jacaranda [http://websandbox.livelabs.com/ Microsoft WebSandbox] |
|} | |} | ||
Also applicable to ML and Haskell style systems: [http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities] | Also applicable to ML and Haskell style systems: [http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities] | ||
Revision as of 03:17, 3 January 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 | |
| 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
