Object-capability languages
From Erights
(Difference between revisions)
(/* Related to) |
(reverting last two spammy edits) |
||
| Line 1: | Line 1: | ||
| - | + | == Independent or Prior Objcap Languages == | |
| - | + | * [http://www.erights.org/history/morris73.pdf Gedanken] | |
| + | * [http://www.erights.org/history/actors.html Actors] | ||
| + | * [http://portal.acm.org/ft_gateway.cfm?id=323739&type=pdf Vulcan], | ||
| + | * [http://www.agorics.com/Library/joule.html Joule] | ||
| + | * [http://mumble.net/~jar/pubs/secureos/ W7] | ||
| + | * [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald] | ||
| + | * [http://citeseer.ist.psu.edu/279442.html J-Kernel] | ||
| + | * [http://plash.beasts.org Plash] | ||
| + | * [http://prog.vub.ac.be/amop/ AmbientTalk] | ||
| + | * [http://newspeaklanguage.org/ Newspeak] | ||
| + | * [http://www.bitc-lang.org/ BitC] | ||
| + | |||
| + | == Related to '''''E''''' == | ||
| + | {| | ||
| + | |+Relationships of '''''E''''' and other languages | ||
| + | ! Base language !! '''''E''''' Implementation !! Adapted to objcaps | ||
| + | |- | ||
| + | | [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] | ||
| + | |- | ||
| + | | C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] [http://washort.twistedmatrix.com/2008/07/ecru-c-runtime-for-e.html Ecru] || | ||
| + | |- | ||
| + | | [http://www.erights.org/javadoc/org/erights/e/elang/smallcaps/SmallcapsOps.html Smallcaps] || [http://erights.org/e-impls/e-on-smallcaps/index.html E-on-Smallcaps] || | ||
| + | |- | ||
| + | | [http://www.squeak.org/ Squeak] || [http://erights.org/e-impls/e-on-squeak/index.html E-on-Squeak] || [http://www.squeaksource.com/SecureSqueak.html SecureSqueak] [http://wiki.squeak.org/squeak/6011 SqueakElibVM] | ||
| + | |- | ||
| + | | Common Lisp || [http://erights.org/e-impls/e-on-cl/index.html E-on-CL] || [http://www.eros-os.org/pipermail/e-lang/2005-April/010572.html CL-E] | ||
| + | |- | ||
| + | | [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [[Emily]] | ||
| + | |- | ||
| + | | [http://www.haskell.org/ Haskell] || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || [http://code.google.com/p/caskell/ Caskell] | ||
| + | |- | ||
| + | | Python || || [http://twistedmatrix.com/ Twisted Python] [http://foolscap.lothar.com/trac FoolsCap] [http://www.cs.ubc.ca/~drifty/papers/python_security.pdf Secure Python] [http://plash.beasts.org/wiki/CapPython CapPython] [http://code.google.com/p/googleappengine/issues/detail?id=671 safelite] | ||
| + | |- | ||
| + | | Perl || || [http://caperl.links.org/ CaPerl] | ||
| + | |- | ||
| + | | [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 || | ||
| + | |- | ||
| + | | || || [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] | ||
| + | |} | ||
| + | |||
| + | |||
| + | Also applicable to ML and Haskell style systems: [http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities] | ||
Revision as of 12:14, 18 March 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 | |
| Perl | CaPerl | |
| Pict | Tamed Pict | |
| E | E-on-E | |
| Sebyla | ||
| Javascript | E-on-JS | Caja ADsafe FBJSVats on Gears Jacaranda Microsoft WebSandbox Gatekeeper Dojo Secure |
Also applicable to ML and Haskell style systems: Lightweight Static Capabilities
