Object-capability languages

From Erights

(Difference between revisions)
Jump to: navigation, search
(domdelvi)
(Related to '''''E''''')
 
(30 intermediate revisions not shown)
Line 1: Line 1:
-
[http://kimberliloose.pop3.ru/article/antoine-fisher-movie.html antoine fisher movie cast] [http://shiradolloff.ifrance.com/fat-camp.html fat camp] [http://lavellebrazil.ifrance.com/content/ince.html ince tom] [http://bridgetpirkle.pop3.ru/blog/aerobic-kick-boxing.html aerobic kick boxing video] [http://pressg-r.blogspot.com domain] [http://merritrader.300mb.info/q/guided-deer-hunting.html guided deer hunting in texas] [http://dederoyster.ifrance.com/thermal-efficiency.html thermal efficiency formula] [http://devorapam.iespana.es/maltese-dogs-for.html carolina dog in maltese north sale] [http://yoshiebeatty.iespana.es/html/bargain-coupon-smart.html pele soccer ball] [http://hardcore86.cabanova.ro http] [http://perryisabel.pop3.ru/avengers-marvel.html avengers marvel movie ultimate] [http://santinamoshier.iespana.es/blog/proscar.html proscar vs propecia] [http://wilmabrazelton.pop3.ru/all-american.html all american girl movie trailer] [http://eausticjclly.blogspot.com http] [http://altagraciastrod.pop3.ru/annie-the-movie.html annie the movie picture] [http://pheiphei85.blogspot.com home] [http://bridgetpirkle.pop3.ru/blog/adult-erotic-movie.html adult erotic movie] [http://teneshasak.pop3.ru/library/alchemy-the.html alchemy the movie] [http://hanheath.iespana.es/minoxidil.html minoxidil] [http://addiemckeever.pop3.ru/small/afraid-of-the.html afraid of the dark movie] [http://blairmattis.ifrance.com/garage-floor-coating.html garage floor coating] [http://mirthahollins.pop3.ru/comments/all-the-best-video.html all the best video store] [http://karryharter.iespana.es/resources/music-downloads.html mp3 music download] [http://mirthahollins.pop3.ru/comments/aim-video-port.html aim video port] [http://perryisabel.pop3.ru/ann-arbor-movie.html movie theater in ann arbor] [http://loanchannel36.blogspot.com link] [http://coecersindirs.blogspot.com domain] [http://shiradolloff.ifrance.com/thang-online.html global online thang] [http://domingamcglynn.300mb.info/blog/insgov.html ins.gov] [http://yaekoeckhart.300mb.info/home-security.html home security devices] [http://mbyrowndog.blogspot.com http] [http://taragayden.ifrance.com/all-refrigerator.html all refrigerator] [http://franruhland.pop3.ru/html/airline-disaster.html airline disaster movies] [http://lupitaseidl.300mb.info/description/computer-network.html computer network service] [http://kimberliloose.pop3.ru/article/aaron-clip-mtv-neville.html aaron clip mtv neville video] [http://loycevillasenor.ifrance.com/usher-wallpaper.html usher wallpaper] [http://bridgetpirkle.pop3.ru/blog/ah-ha-and-take.html ah ha and take on me and video] [http://loganbalsamo.ifrance.com/wiki/latinas-with-huge.html latinas with huge tit and ass] [http://loganbalsamo.ifrance.com/wiki/earbud-headphones.html earbud headphones best] [http://lakeshamcatee.iespana.es/description/villanova-university.html villanova university basketball] [http://travismusgrove.iespana.es/hyundai-tiburon.html hyundai tiburon] [http://perryisabel.pop3.ru/aussie-slot-video.html aussie slot video] [http://franruhland.pop3.ru/html/asian-movie.html asian movie thong] [http://lakeshamcatee.iespana.es/description/phentermine-without.html phentermine online purchase without a prescription] [http://loycevillasenor.ifrance.com/drop-shipper.html gift basket dropshippers] [http://mynroevineoard.blogspot.com website] [http://althouse310.blogspot.com link] [http://cythiagillham.ifrance.com/orion-bluebook.html orion bluebook] [http://lashayderrico.ifrance.com/web/san-diego-wild.html san diego wild animal park] [http://ku-mozly.blogspot.com sitemap] [http://loycevillasenor.ifrance.com/railroad-history.html railroad history] [http://merritrader.300mb.info/q/examination-services.html examination services] [http://marhtaparadis.pop3.ru/articles/abuse-iraq-soldier.html abuse iraq soldier video] [http://loganbalsamo.ifrance.com/wiki/in-lady-site.html in lady site water web] [http://alanaforbes.ifrance.com/web/early-lyme-disease.html disease early lyme symptom] [http://hanheath.iespana.es/application.html employment application] [http://bernettabenning.iespana.es/virus-remover.html free and virus and spyware and remover] [http://emilyondaliviaupdates20.blogspot.com web] [http://ewishtd-ctick.blogspot.com home] [http://jennistokley.ifrance.com/directory/soap-leg-cramps.html soap leg cramps] [http://domingamcglynn.300mb.info/blog/tempered-steel.html tempered steel] [http://kamibozeman.ifrance.com/resources/amy-diamond.html amy diamond] [http://silviaolmeda.bz.tc/ http] [http://travismusgrove.iespana.es/kitchener-on.html kitchener on] [http://lashayderrico.ifrance.com/web/treasure-island.html treasure island patio furniture] [http://grossimperator410.blogspot.com web] [http://yaekoeckhart.300mb.info/free-toon-movies.html free toon porn movie] [http://blairmattis.ifrance.com/loveaccess.html loveaccess] [http://karryharter.iespana.es/resources/dildos.html dildo] [http://jennistokley.ifrance.com/directory/wedding-shower-supplies.html wedding shower supplies] [http://travismusgrove.iespana.es/inversion-table.html inversion invertekk table] [http://karryharter.iespana.es/resources/pontiac-g6.html 2006 g6 pontiac] [http://addiemckeever.pop3.ru/small/eleven-movie.html ocean eleven movie poster] [http://yoshiebeatty.iespana.es/html/download-phim.html download phim nguoi lon mien phi] [http://lupitaseidl.300mb.info/description/freshwater-tropical.html community fish freshwater tropical] [http://yoshiebeatty.iespana.es/html/xxx-mpegs.html xxx mpegs] [http://juliettevarney.300mb.info/outdoor-pool-tables.html outdoor pool table weatherproof] [http://winniestallwort.iespana.es/small/shed-aquarium.html aquarium chicago shed] [http://merritrader.300mb.info/q/signs-interior.html signs interior] [http://yaekoeckhart.300mb.info/ben-browder.html ben browder] [http://yyurenerg0.blogspot.com page] [http://minhblouin.ifrance.com/michigan-hospitals.html michigan hospitals] [http://domingamcglynn.300mb.info/blog/maritime-international.html maritime international] [http://l3lrayrayl3l.linkoverzicht.be/ www] [http://karryharter.iespana.es/resources/nissan-repair.html nissan repair manual quest] [http://s51nts.blogspot.com domain] [http://yoshiebeatty.iespana.es/html/celeberty-pictures.html hot celebrity picture] [http://kamibozeman.ifrance.com/resources/wheelchair-ramp.html wheelchair ramp and accessories] [http://gaynellrickey.ifrance.com/resources/coheed-and-cambria.html coheed and cambria welcome home] [http://gaynellrickey.ifrance.com/resources/1065-form-irs.html irs tax form 1065] [http://travismusgrove.iespana.es/greenday.html boulevard broken day dream green] [http://shiradolloff.ifrance.com/web-hosting.html web hosting cheap web hosting techcityhosting.net] [http://merritrader.300mb.info/q/industrial-salvage.html industrial salvage] [http://kimberliloose.pop3.ru/article/aaron-kwok-movies.html aaron kwok movies] [http://yaekoeckhart.300mb.info/martine-beswick.html beswick martine pic] [http://bernettabenning.iespana.es/relationship-problems.html dating new problem relationship] [http://yoshiebeatty.iespana.es/html/istanbul.html istanbul] [http://travismusgrove.iespana.es/ikea-furniture.html bedroom furniture ikea] [http://chrystaldesmond.iespana.es/lilyette-bra.html lilyette bra] [http://dederoyster.ifrance.com/gay-teen-scat.html gay teen scat] [http://wilmabrazelton.pop3.ru/all-american-girl.html all american girl the movie] [http://perryisabel.pop3.ru/avid-video-editing.html avid video editing system] [http://favouritemeatmecalzone94.blogspot.com home] [http://lashayderrico.ifrance.com/web/bipolar-2.html 1 2 bipolar] [http://kylietigner.htmlplanet.com/ home] [http://karryharter.iespana.es/resources/oxazepam.html apo oxazepam] [http://loycevillasenor.ifrance.com/triethylene.html glycol teg triethylene] [http://altagraciastrod.pop3.ru/amd-processor.html amd processor motherboard video power supply] [http://winniestallwort.iespana.es/small/maze-ticket.html maze ticket] [http://alanaforbes.ifrance.com/web/x-online-games.html x online games] [http://marhtaparadis.pop3.ru/articles/audio-hindi.html audio hindi net song video] [http://rasheedalindner.ifrance.com/reported-speech.html reported speech] [http://domingamcglynn.300mb.info/blog/stolen-credit-card.html stolen credit card numbers] [http://merritrader.300mb.info/q/ashlee-simpson.html ashlee simpson hot] [http://www.geocities.com/newskali/ web] [http://lakeshamcatee.iespana.es/description/flavor-of-love.html delicious flavor love] [http://chuekndce.blogspot.com http] [http://jornfriahy.blogspot.com www] [http://xmail.net/chapeye/ url] [http://santinamoshier.iespana.es/blog/myspace-slideshow.html myspace slideshow] [http://hanheath.iespana.es/google.html google] [http://kamibozeman.ifrance.com/resources/scottish-wedding.html scottish wedding picture] [http://rlucaix.blogspot.com home] [http://lashayderrico.ifrance.com/web/guns-and-roses.html guns and roses welcome to the jungle] [http://yaekoeckhart.300mb.info/r-kelly-video.html r kelly sex tape video] [http://rasheedalindner.ifrance.com/verilux.html verilux] [http://feperalcivildracticebulletin.blogspot.com domain] [http://karryharter.iespana.es/resources/beauty-secrets.html beauty secrets] [http://tragedies-mylife.blogspot.com web] [http://shuushuu.at.ua/index.html site] [http://taragayden.ifrance.com/types-of-poetry.html types of poetry examples] [http://addiemckeever.pop3.ru/small/apex-audio-video.html apex audio video] [http://karryharter.iespana.es/resources/kathy-van-zeeland.html kathy van zeeland handbag] [http://merritrader.300mb.info/q/baby-strollers.html baby stroller car seat] [http://domingamcglynn.300mb.info/blog/primrose-oil.html acne evening oil primrose] [http://bernettabenning.iespana.es/video-adult.html adult video store] [http://addiemckeever.pop3.ru/small/alambik-video.html alambik video] [http://juliettevarney.300mb.info/norris.html chuck norris] [http://altagraciastrod.pop3.ru/ati-component.html ati component video adapter] [http://domingamcglynn.300mb.info/blog/dead-sea-salt-wholesale.html dead sea salt wholesale] [http://addiemckeever.pop3.ru/small/asian-kaiya.html asian kaiya lynn movie] [http://jennistokley.ifrance.com/directory/excel-roster.html excel roster shift template uk] [http://juliettevarney.300mb.info/custom-scented.html custom scented candle] [http://wilmabrazelton.pop3.ru/adult-free-sample.html free adult porn video sample] [http://santinamoshier.iespana.es/blog/chair-furniture.html chair furniture kid] [http://lakeshamcatee.iespana.es/description/free-ringtones.html free ringtones for nokia] [http://lavellebrazil.ifrance.com/content/cotton-mouth.html cotton mouth] [http://rasheedalindner.ifrance.com/for-sale-homes.html home idaho sale] [http://loycevillasenor.ifrance.com/sita-ramayan.html sita ramayan] [http://kimberliloose.pop3.ru/article/audio-books.html audio books blockbuster video] [http://dederoyster.ifrance.com/metro-intl-inc.html metro intl. inc.] [http://travismusgrove.iespana.es/motorola-mobile.html motorola mobile phone tool] [http://alanaforbes.ifrance.com/web/mother-and-daughter.html mother and daughter tea party game] [http://rasheedalindner.ifrance.com/infiniti-suv.html infiniti suv 2003] [http://juliettevarney.300mb.info/hotel.html hotel] [http://yaekoeckhart.300mb.info/psa-cards.html psa cards] [http://rasheedalindner.ifrance.com/elliott-clan.html elliott clan scotland] [http://irishais.de.tl/ link] [http://addiemckeever.pop3.ru/small/airport-good-home.html airport good home times video] [http://listlizylka.cabanova.ro url] [http://santinamoshier.iespana.es/blog/bollywood-wallpaper.html bollywood celebrity wallpaper] [http://triaityinjapnn.blogspot.com website] [http://bobbiemauro.biz.tc/ page] [http://blairmattis.ifrance.com/420-meaning.html 420 meaning] [http://perryisabel.pop3.ru/amber-frey-movie.html amber frey movie] [http://teneshasak.pop3.ru/library/ambulance-vs.html ambulance vs ambulance video] [http://lavellebrazil.ifrance.com/content/microsoft-word.html microsoft word 2006] [http://devorapam.iespana.es/free-downloads.html free downloads real player] [http://kamibozeman.ifrance.com/resources/painting-easels.html oil painting easel] [http://blairmattis.ifrance.com/horse-drawn-wagons.html horse drawn wagons] [http://thel1daesway.blogspot.com page] [http://devorapam.iespana.es/oakley-m-frame.html oakley m frame replicas] [http://marhtaparadis.pop3.ru/articles/atv-climbing-clip.html atv climbing clip hill video] [http://santinamoshier.iespana.es/blog/cheapest-air-ticket.html cheapest air plane ticket] [http://lakeshamcatee.iespana.es/description/career-salaries.html accounting career salary] [http://teneshasak.pop3.ru/library/alive-dead-doa.html alive dead doa nude video] [http://dederoyster.ifrance.com/lute.html el lute] [http://jennistokley.ifrance.com/directory/amsterdam-prostitutes.html amsterdam prostitutes, prostitute] [http://garagesale33.blogspot.com www] [http://lashayderrico.ifrance.com/web/karen-lancaume.html karen lancaume suicide] [http://taragayden.ifrance.com/long-beach-vacation.html long beach island vacation rental] [http://eaglestr1kez51.blogspot.com url] [http://alanaforbes.ifrance.com/web/animated-day.html animated day free greeting mother] [http://dederoyster.ifrance.com/armory-pistol-springfield.html armory pistol springfield xd] [http://juliettevarney.300mb.info/illegal-girl.html illegal girl] [http://lgdewood2.blogspot.com sitemap] [http://hanheath.iespana.es/sony-tv.html plasma sony tv] [http://rasheedalindner.ifrance.com/s10forum.html s10forum] [http://travismusgrove.iespana.es/portable-dvd-player.html portable dvd player] [http://mirthahollins.pop3.ru/comments/alicia-keys.html alicia keys karma video pictures] [http://marhtaparadis.pop3.ru/articles/air-force-academy.html air force academy student dancing video] [http://lakeshamcatee.iespana.es/description/g-spot-orgasm.html g spot orgasm] [http://devorapam.iespana.es/san-juan-fiberglass.html san juan fiberglass pool] [http://loycevillasenor.ifrance.com/david-usher.html david usher] [http://perryisabel.pop3.ru/abominable-snowman.html abominable snowman movies] [http://jennistokley.ifrance.com/directory/mostly-come-out.html mostly come out at night mostly] [http://kamibozeman.ifrance.com/resources/access-point.html access point] [http://saritanatividad.ifrance.com/mls-new-homes.html mls new homes las vegas] [http://kimberliloose.pop3.ru/article/animal-attack.html animal attack video downloads] [http://wilmabrazelton.pop3.ru/adult-dildo.html adult dildo huge record video]
 
== Independent or Prior Objcap Languages ==
== Independent or Prior Objcap Languages ==
 +
Dynamic
* [http://www.erights.org/history/morris73.pdf Gedanken]
* [http://www.erights.org/history/morris73.pdf Gedanken]
* [http://www.erights.org/history/actors.html Actors]
* [http://www.erights.org/history/actors.html Actors]
Line 7: Line 7:
* [http://www.agorics.com/Library/joule.html Joule]
* [http://www.agorics.com/Library/joule.html Joule]
* [http://mumble.net/~jar/pubs/secureos/ W7]
* [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://plash.beasts.org Plash]
* [http://prog.vub.ac.be/amop/ AmbientTalk]
* [http://prog.vub.ac.be/amop/ AmbientTalk]
-
* [http://www.erlang.org/ Erlang] - Erlang is almost, but not quite an object-capability language.
+
* [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''''' ==
== Related to '''''E''''' ==
Line 18: Line 23:
! Base language !! '''''E''''' Implementation !! Adapted to objcaps
! Base language !! '''''E''''' Implementation !! Adapted to objcaps
|-
|-
-
| [http://java.sun.com Java] || [http://erights.org/download/ E-on-Java] || [http://www.joe-e.org Joe-E] [http://waterken.sourceforge.net/ Waterken] [http://asyncobjects.sourceforge.net/ AsyncObjects]
+
| [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]
| [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] ||  
+
| 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] ||  
Line 28: Line 35:
| [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]]
|-
|-
-
| Haskell || [http://homepage.mac.com/kpreid/elang/ E-on-Haskell] || Caps in Haskell
+
| [http://www.haskell.org/ Haskell] || [[E-on-Haskell]], [[eonhs]] || [http://code.google.com/p/caskell/ Caskell]
|-
|-
-
| 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://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]
| Perl || || [http://caperl.links.org/ CaPerl]
|-
|-
-
| [http://www.cis.upenn.edu/~bcpierce/papers/pict/Html/Pict.html Pict] || || [http://altair.dcs.elf.stuba.sk:60001/mediawiki/index.php/Backwater Backwater]
+
| [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 ||
Line 44: Line 51:
|  || || [http://sebyla.sourceforge.net/ Sebyla]
|  || || [http://sebyla.sourceforge.net/ Sebyla]
|-
|-
-
| Javascript || || [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]
+
| 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]
Also applicable to ML and Haskell style systems: [http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf Lightweight Static Capabilities]

Latest revision as of 21:47, 19 February 2012

Independent or Prior Objcap Languages

Dynamic

Static

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
Scala AsyncScala
Smallcaps E-on-Smallcaps
Squeak E-on-Squeak SecureSqueak SqueakElibVM
Common Lisp E-on-CL CL-E
OCaml Emily
Haskell E-on-Haskell, eonhs 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

Personal tools
more tools