Object-capability languages
From Erights
(Difference between revisions)
(→Related to '''''E''''') |
Kevin Reid (Talk | contribs) (→Related to '''''E''''': update my e impl links) |
||
Line 33: | Line 33: | ||
| [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] | | [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 || [ | + | | Common Lisp || [[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://caml.inria.fr/ocaml/index.en.html OCaml] || || [[Emily]] | ||
|- | |- | ||
- | | [http://www.haskell.org/ Haskell] || [ | + | | [http://www.haskell.org/ Haskell] || [[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] [http://www.eecs.berkeley.edu/~jsamuel/papers/cappos-dadgar-rasley-samuel-et-al-ccs2010.pdf Repy] | | 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] [http://www.eecs.berkeley.edu/~jsamuel/papers/cappos-dadgar-rasley-samuel-et-al-ccs2010.pdf Repy] |
Revision as of 15:45, 12 April 2011
Independent or Prior Objcap Languages
Dynamic
- Gedanken
- Actors
- Vulcan,
- Joule
- W7
- Plash
- AmbientTalk
- Newspeak
- Evlan (Possibly statically typed in future editions)
Static
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