http://wiki.erights.org/mediawiki/index.php?title=Special:Contributions&feed=atom&target=91.127.73.85
Erights - User contributions [en]
2024-03-29T07:42:03Z
From Erights
MediaWiki 1.15.5-7
http://wiki.erights.org/wiki/Object-capability_languages
Object-capability languages
2008-02-10T20:58:52Z
<p>91.127.73.85: /* Related to '''''E''''' */</p>
<hr />
<div>== Independent or Prior Objcap Languages ==<br />
<br />
* [http://www.erights.org/history/morris73.pdf Gedanken]<br />
* [http://www.erights.org/history/actors.html Actors]<br />
* [http://portal.acm.org/ft_gateway.cfm?id=323739&type=pdf Vulcan],<br />
* [http://www.agorics.com/Library/joule.html Joule]<br />
* [http://mumble.net/~jar/pubs/secureos/ W7]<br />
* [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald]<br />
* [http://citeseer.ist.psu.edu/279442.html J-Kernel]<br />
* [http://plash.beasts.org Plash]<br />
* [http://prog.vub.ac.be/amop/ AmbientTalk]<br />
* [http://www.erlang.org/ Erlang] - Erlang is almost, but not quite an object-capability language.<br />
<br />
== Related to '''''E''''' ==<br />
{| <br />
|+Relationships of '''''E''''' and other languages<br />
! Base language !! '''''E''''' Implementation !! Adapted to objcaps<br />
|-<br />
| [http://java.sun.com Java] || [http://erights.org/download/ E-on-Java] || [http://www.joe-e.org Joe-E] [http://waterken.sourceforge.net/ Waterken] [http://asyncobjects.sourceforge.net/ AsyncObjects]<br />
|-<br />
| [http://www.mozart-oz.org/ Mozart/Oz] || || [http://www.info.ucl.ac.be/people/PVR/oze.pdf Oz-E]<br />
|-<br />
| C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] || <br />
|-<br />
| [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] || <br />
|-<br />
| [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]<br />
|-<br />
| 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]<br />
|-<br />
| [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [[Emily]]<br />
|-<br />
| Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell<br />
|-<br />
| 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]<br />
|-<br />
| Perl || || [http://caperl.links.org/ CaPerl]<br />
|-<br />
| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://altair.sk/mediawiki/index.php/Tamed_Pict Tamed Pict]<br />
|-<br />
| E || E-on-E ||<br />
|-<br />
| || || [http://sebyla.sourceforge.net/ Sebyla]<br />
|-<br />
| Javascript || || [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]<br />
|}<br />
<br />
<br />
Also applicable to ML and Haskell style systems: [http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities]</div>
91.127.73.85