Object-capability languages

From Erights

Revision as of 07:52, 13 January 2011 (view source) Markm (Talk | contribs) (→Independent or Prior Objcap Languages) ← Previous diff		Revision as of 08:21, 17 January 2011 (view source) Dglibicki (Talk) (→Independent or Prior Objcap Languages) Next diff →
Line 16:		Line 16:
	* [http://citeseer.ist.psu.edu/279442.html J-Kernel]		* [http://citeseer.ist.psu.edu/279442.html J-Kernel]
	* [http://www.bitc-lang.org/ BitC]		* [http://www.bitc-lang.org/ BitC]
-	* [[Heftza]]	+	* [https://docs.google.com/document/d/1bOwopBgJWgzroObINBmopy1Gjy2OoXx_BdOSR94ydQQ/edit?hl=en# Heftza]
	== Related to '''''E''''' ==		== Related to '''''E''''' ==

---

Revision as of 08:21, 17 January 2011

Independent or Prior Objcap Languages

Dynamic

• Gedanken
• Actors
• Vulcan,
• Joule
• W7
• Plash
• AmbientTalk
• Newspeak
• Evlan (Possibly statically typed in future editions)

Static

• Eden, Emerald
• J-Kernel
• BitC
• Heftza

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	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