Object-capability languages

(Difference between revisions)

Revision as of 05:36, 31 August 2010

Relationships of E and other languages
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	Caja ADsafe FBJS Vats on Gears Jacaranda Microsoft WebSandbox Gatekeeper Dojo Secure

Also applicable to ML and Haskell style systems: Lightweight Static Capabilities

@@ Line 34: / Line 34: @@
 | [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]
+| 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]
 |-
 | Perl || || [http://caperl.links.org/ CaPerl]