Object-capability languages

(Difference between revisions)

Revision as of 01:24, 13 January 2011

Dynamic

Static

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	proposed Secure EcmaScript (SES) Caja ADsafe FBJS Vats on Gears Jacaranda Microsoft WebSandbox Gatekeeper Dojo Secure

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

@@ Line 1: / Line 1: @@
 == Independent or Prior Objcap Languages ==
+Dynamic
 * [http://www.erights.org/history/morris73.pdf Gedanken]
 * [http://www.erights.org/history/actors.html Actors]
@@ Line 6: / Line 7: @@
 * [http://www.agorics.com/Library/joule.html Joule]
 * [http://mumble.net/~jar/pubs/secureos/ W7]
-* [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald]
-* [http://citeseer.ist.psu.edu/279442.html J-Kernel]
 * [http://plash.beasts.org Plash]
 * [http://prog.vub.ac.be/amop/ AmbientTalk]
 * [http://newspeaklanguage.org/ Newspeak]
+* [http://evlan.org/ Evlan]
+Static
+* [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald]
+* [http://citeseer.ist.psu.edu/279442.html J-Kernel]
 * [http://www.bitc-lang.org/ BitC]