Object-capability languages

From Erights

(Difference between revisions)
Jump to: navigation, search
(Related to '''''E''''')
(Related to '''''E''''': link to Haskell homepage)
Line 31: Line 31:
| [http://caml.inria.fr/ocaml/index.en.html OCaml] ||  || [[Emily]]
| [http://caml.inria.fr/ocaml/index.en.html OCaml] ||  || [[Emily]]
|-
|-
-
| Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell
+
| [http://www.haskell.org/ Haskell] || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell
|-
|-
| 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]
| 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]

Revision as of 20:25, 11 February 2008

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
Smallcaps E-on-Smallcaps
Squeak E-on-Squeak SecureSqueak SqueakElibVM
Common Lisp E-on-CL CL-E
OCaml Emily
Haskell E-on-Haskell Caps in Haskell
Python Twisted Python FoolsCap Secure Python
Perl CaPerl
Pict Tamed Pict
E E-on-E
Sebyla
Javascript Caja ADsafe FBJSVats on Gears


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

Personal tools
more tools