Eonhs

Nejucomo — Tue, 12 Apr 2011 22:23:49 GMT

Nejucomo: /* eonhs */

= eonhs =

The [https://bitbucket.org/nejucomo/eonhs eonhs] project strives to implement a Kernel-E interpreter and later a fuller E interpreter in Haskell. The current codebase parses and evaluates only a subset of the syntax and is not yet useful for actual programs.

'''Note''': This is a separate project from [[E-on-Haskell]].

Object-capability languages

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

Nejucomo: /* Related to '''''E''''' */ Link to the eonhs wiki 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] ||
|-
| [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://www.dipmat.unict.it/~barba/PROG-LANG/PROGRAMMI-TESTI/READING-MATERIAL/TutorialPICT.pdf 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]

Eonhs

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

Nejucomo: Description of eonhs and link to its home. Also point to E-on-Haskell as distinct.

= eonhs =

The [https://bitbucket.org/nejucomo/eonhs eonhs] project strives to implement a Kernel-E interpreter and later a fuller E interpreter in Haskell. The current codebase is quite immature with only a subset of the syntax parsed and interpreted.

'''Note''': This is a separate project from [[E-on-Haskell]].

Erights - User contributions [en]

Eonhs

Object-capability languages

Eonhs