Object-capability languages - Revision history

Markm: /* Related to E */

Markm — Tue, 05 Apr 2016 15:41:16 GMT

Related to E

←Older revision		Revision as of 15:41, 5 April 2016
Line 42:		Line 42:
	\| [http://www.haskell.org/ Haskell] \|\| [[E-on-Haskell]], [[eonhs]] \|\| [http://code.google.com/p/caskell/ Caskell]		\| [http://www.haskell.org/ Haskell] \|\| [[E-on-Haskell]], [[eonhs]] \|\| [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] [http://www.eecs.berkeley.edu/~jsamuel~~/~~papers~~/~~cappos-dadgar-rasley-samuel-et-al-ccs2010~~.~~pdf Repy~~]	+	\| Python \|\| \|\| [http://twistedmatrix.com/ Twisted Python] [http://foolscap.lothar.com/trac FoolsCap] [http://monte.readthedocs.org/en/latest/index.html Monte]
	\|-		\|-
	\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]		\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]

Markm: /* Independent or Prior Objcap Languages */

Markm — Wed, 30 Sep 2015 22:22:21 GMT

Independent or Prior Objcap Languages

←Older revision		Revision as of 22:22, 30 September 2015
Line 13:		Line 13:

	Static		Static
		+	* [http://www.ponylang.org/ Pony]
	* [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald]		* [http://portal.acm.org/citation.cfm?doid=323627.323646 Eden, Emerald]
	* [http://citeseer.ist.psu.edu/279442.html J-Kernel]		* [http://citeseer.ist.psu.edu/279442.html J-Kernel]
Line 28:		Line 29:
	\|-		\|-
	\| C/C++ \|\| [http://erights.org/e-impls/e-on-c/index.html MC] [http://washort.twistedmatrix.com/2008/07/ecru-c-runtime-for-e.html Ecru] \|\|		\| C/C++ \|\| [http://erights.org/e-impls/e-on-c/index.html MC] [http://washort.twistedmatrix.com/2008/07/ecru-c-runtime-for-e.html Ecru] \|\|
		+	\|-
		+	\| Scala \|\| \|\| [http://asyncobjects.sourceforge.net/asyncscala/ AsyncScala]
	\|-		\|-
	\| [http://www.erights.org/javadoc/org/erights/e/elang/smallcaps/SmallcapsOps.html Smallcaps] \|\| [http://erights.org/e-impls/e-on-smallcaps/index.html E-on-Smallcaps] \|\|		\| [http://www.erights.org/javadoc/org/erights/e/elang/smallcaps/SmallcapsOps.html Smallcaps] \|\| [http://erights.org/e-impls/e-on-smallcaps/index.html E-on-Smallcaps] \|\|

Markm: /* Related to '''''E''''' */

Markm — Sun, 19 Feb 2012 21:47:09 GMT

Related to '''''E'''''

New page

== Independent or Prior Objcap Languages ==

Dynamic
* [http://www.erights.org/history/morris73.pdf Gedanken]
* [http://www.erights.org/history/actors.html Actors]
* [http://portal.acm.org/ft_gateway.cfm?id=323739&type=pdf Vulcan],
* [http://www.agorics.com/Library/joule.html Joule]
* [http://mumble.net/~jar/pubs/secureos/ W7]
* [http://plash.beasts.org Plash]
* [http://prog.vub.ac.be/amop/ AmbientTalk]
* [http://newspeaklanguage.org/ Newspeak]
* [http://evlan.org/ Evlan] (Possibly statically typed in future editions)

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]
* [https://docs.google.com/document/d/1bOwopBgJWgzroObINBmopy1Gjy2OoXx_BdOSR94ydQQ/edit?hl=en# Heftza]

== Related to '''''E''''' ==
{|
|+Relationships of '''''E''''' and other languages
! Base language !! '''''E''''' Implementation !! Adapted to objcaps
|-
| [http://java.sun.com Java] || [http://erights.org/download/ E-on-Java] || [[Joe-E]] [http://waterken.sourceforge.net/ Waterken] [http://asyncobjects.sourceforge.net/ AsyncObjects]
|-
| [http://www.mozart-oz.org/ Mozart/Oz] || || [http://www.info.ucl.ac.be/people/PVR/oze.pdf Oz-E]
|-
| C/C++ || [http://erights.org/e-impls/e-on-c/index.html MC] [http://washort.twistedmatrix.com/2008/07/ecru-c-runtime-for-e.html Ecru] ||
|-
| Scala || || [http://asyncobjects.sourceforge.net/asyncscala/ AsyncScala]
|-
| [http://www.erights.org/javadoc/org/erights/e/elang/smallcaps/SmallcapsOps.html Smallcaps] || [http://erights.org/e-impls/e-on-smallcaps/index.html E-on-Smallcaps] ||
|-
| [http://www.squeak.org/ Squeak] || [http://erights.org/e-impls/e-on-squeak/index.html E-on-Squeak] || [http://www.squeaksource.com/SecureSqueak.html SecureSqueak] [http://wiki.squeak.org/squeak/6011 SqueakElibVM]
|-
| Common Lisp || [[E-on-CL]] || [http://www.eros-os.org/pipermail/e-lang/2005-April/010572.html CL-E]
|-
| [http://caml.inria.fr/ocaml/index.en.html OCaml] || || [[Emily]]
|-
| [http://www.haskell.org/ Haskell] || [[E-on-Haskell]], [[eonhs]] || [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] [http://www.eecs.berkeley.edu/~jsamuel/papers/cappos-dadgar-rasley-samuel-et-al-ccs2010.pdf Repy]
|-
| Perl || || [http://caperl.links.org/ CaPerl]
|-
| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://www2.fiit.stuba.sk/~kosik/tamed-pict.html Tamed Pict]
|-
| E || E-on-E ||
|-
| || || [http://sebyla.sourceforge.net/ Sebyla]
|-
| Javascript || [[E-on-JS]] || [https://mail.mozilla.org/pipermail/es-discuss/2010-August/011684.html proposed Secure EcmaScript (SES)] [http://code.google.com/p/google-caja/ Caja] [http://www.adsafe.org/ ADsafe] [http://wiki.developers.facebook.com/index.php/FBJS FBJS][http://video.google.com/videoplay?docid=452089494323007214 Vats on Gears] [http://jacaranda.org/ Jacaranda] [http://websandbox.livelabs.com/ Microsoft WebSandbox] [http://research.microsoft.com/en-us/projects/gatekeeper/ Gatekeeper] [http://www.sitepen.com/blog/2008/08/01/secure-mashups-with-dojoxsecure/ Dojo Secure]
|}

Also applicable to ML and Haskell style systems: [http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities]

Kosik: retrofitted pict --> tamed pict

Kosik — Fri, 15 Apr 2011 14:05:54 GMT

retrofitted pict --> tamed pict

←Older revision		Revision as of 14:05, 15 April 2011
Line 43:		Line 43:
	\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]		\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]
	\|-		\|-
-	\| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] \|\| \|\| [http://www2.fiit.stuba.sk/~kosik/~~retrofitted~~-pict.html ~~retrofitted~~ Pict]	+	\| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] \|\| \|\| [http://www2.fiit.stuba.sk/~kosik/tamed-pict.html Tamed Pict]
	\|-		\|-
	\| E \|\| E-on-E \|\|		\| E \|\| E-on-E \|\|

Kosik: The link to retrofitted Pict was updated. Now it points to its homepage with complete information.

Kosik — Thu, 14 Apr 2011 09:04:02 GMT

The link to retrofitted Pict was updated. Now it points to its homepage with complete information.

←Older revision		Revision as of 09:04, 14 April 2011
Line 43:		Line 43:
	\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]		\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]
	\|-		\|-
-	\| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] \|\| \|\| [http://~~www~~.~~dipmat~~.~~unict~~.it/~~~barba~~/~~PROG~~-~~LANG/PROGRAMMI-TESTI/READING-MATERIAL/TutorialPICT~~.~~pdf Tamed~~ Pict]	+	\| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] \|\| \|\| [http://www2.fiit.stuba.sk/~kosik/retrofitted-pict.html retrofitted Pict]
	\|-		\|-
	\| E \|\| E-on-E \|\|		\| E \|\| E-on-E \|\|

Nejucomo: /* Related to '''''E''''' */ Link to the eonhs wiki page.

Nejucomo — Tue, 12 Apr 2011 22:16:44 GMT

Related to '''''E''''': Link to the eonhs wiki page.

←Older revision		Revision as of 22:16, 12 April 2011
Line 37:		Line 37:
	\| [http://caml.inria.fr/ocaml/index.en.html OCaml] \|\| \|\| [[Emily]]		\| [http://caml.inria.fr/ocaml/index.en.html OCaml] \|\| \|\| [[Emily]]
	\|-		\|-
-	\| [http://www.haskell.org/ Haskell] \|\| [[E-on-Haskell]] \|\| [http://code.google.com/p/caskell/ Caskell]	+	\| [http://www.haskell.org/ Haskell] \|\| [[E-on-Haskell]], [[eonhs]] \|\| [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] [http://www.eecs.berkeley.edu/~jsamuel/papers/cappos-dadgar-rasley-samuel-et-al-ccs2010.pdf Repy]		\| 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]

Kevin Reid: /* Related to '''''E''''' */ update my e impl links

Kevin Reid — Tue, 12 Apr 2011 15:45:01 GMT

Related to '''''E''''': update my e impl links

←Older revision		Revision as of 15:45, 12 April 2011
Line 33:		Line 33:
	\| [http://www.squeak.org/ Squeak] \|\| [http://erights.org/e-impls/e-on-squeak/index.html E-on-Squeak] \|\| [http://www.squeaksource.com/SecureSqueak.html SecureSqueak] [http://wiki.squeak.org/squeak/6011 SqueakElibVM]		\| [http://www.squeak.org/ Squeak] \|\| [http://erights.org/e-impls/e-on-squeak/index.html E-on-Squeak] \|\| [http://www.squeaksource.com/SecureSqueak.html SecureSqueak] [http://wiki.squeak.org/squeak/6011 SqueakElibVM]
	\|-		\|-
-	\| Common Lisp \|\| [~~http://erights.org/e-impls/e-on-cl/index.html~~ E-on-CL] \|\| [http://www.eros-os.org/pipermail/e-lang/2005-April/010572.html CL-E]	+	\| Common Lisp \|\| [[E-on-CL]] \|\| [http://www.eros-os.org/pipermail/e-lang/2005-April/010572.html CL-E]
	\|-		\|-
	\| [http://caml.inria.fr/ocaml/index.en.html OCaml] \|\| \|\| [[Emily]]		\| [http://caml.inria.fr/ocaml/index.en.html OCaml] \|\| \|\| [[Emily]]
	\|-		\|-
-	\| [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] \|\| [[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] [http://www.eecs.berkeley.edu/~jsamuel/papers/cappos-dadgar-rasley-samuel-et-al-ccs2010.pdf Repy]		\| 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]

Markm: /* Related to '''''E''''' */

Markm — Mon, 11 Apr 2011 15:15:56 GMT

Related to '''''E'''''

←Older revision		Revision as of 15:15, 11 April 2011
Line 43:		Line 43:
	\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]		\| Perl \|\| \|\| [http://caperl.links.org/ CaPerl]
	\|-		\|-
-	\| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] \|\| \|\| [http://~~altair~~.~~fiit~~.~~stuba~~.sk/~~mediawiki~~/~~index.php~~/~~Tamed_Pict~~ Tamed Pict]	+	\| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] \|\| \|\| [http://www.dipmat.unict.it/~barba/PROG-LANG/PROGRAMMI-TESTI/READING-MATERIAL/TutorialPICT.pdf Tamed Pict]
	\|-		\|-
	\| E \|\| E-on-E \|\|		\| E \|\| E-on-E \|\|

Dglibicki: /* Independent or Prior Objcap Languages */

Dglibicki — Mon, 17 Jan 2011 08:21:24 GMT

Independent or Prior Objcap Languages

←Older revision		Revision as of 08:21, 17 January 2011
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''''' ==

Markm: /* Independent or Prior Objcap Languages */

Markm — Thu, 13 Jan 2011 07:52:42 GMT

Independent or Prior Objcap Languages

←Older revision		Revision as of 07:52, 13 January 2011
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]]

	== Related to '''''E''''' ==		== Related to '''''E''''' ==