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] [http://www.jacaranda.org/jacaranda-spec-0.3.txt Jacaranda] [http://websandbox.livelabs.com/ Microsoft WebSandbox] [http://research.microsoft.com/en-us/projects/gatekeeper/ Gatekeeper] [http://www.sitepen.com/blog/2008/08/01/secure-mashups-with-dojoxsecure/ Dojo Secure] | + | | Javascript || [[E-on-JS]] || [https://mail.mozilla.org/pipermail/es-discuss/2010-August/011684.html proposed Secure EcmaScript (SES)] [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] [http://www.jacaranda.org/jacaranda-spec-0.3.txt Jacaranda] [http://websandbox.livelabs.com/ Microsoft WebSandbox] [http://research.microsoft.com/en-us/projects/gatekeeper/ Gatekeeper] [http://www.sitepen.com/blog/2008/08/01/secure-mashups-with-dojoxsecure/ Dojo Secure] |
|} | |} | ||
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 05:39, 31 August 2010
Independent or Prior Objcap Languages
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 Repy | |
Perl | CaPerl | |
Pict | Tamed Pict | |
E | E-on-E | |
Sebyla | ||
Javascript | E-on-JS | proposed Secure EcmaScript (SES) Caja ADsafe FBJSVats on Gears Jacaranda Microsoft WebSandbox Gatekeeper Dojo Secure |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities