Object-capability languages

From Erights

(Difference between revisions)
Jump to: navigation, search
(reverting last two spammy edits)
(Related to '''''E''''')
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]
| [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]
| Perl || || [http://caperl.links.org/ CaPerl]

Revision as of 05:36, 31 August 2010

Independent or Prior Objcap Languages

Related to E

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 FBJSVats on Gears Jacaranda Microsoft WebSandbox Gatekeeper Dojo Secure


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

Personal tools
more tools