Joe-E - Joe-E

Joe-E
Paradigmaschopnost objektu
NavrhlDavid A. Wagner, Adrian Mettler, Chip Morningstar, Mark S. Miller
Poprvé se objevil2004[1]
Stabilní uvolnění
2.2.0a
Ovlivněno
Jáva, E
Ovlivněno
Projekt Caja

Joe-E je podmnožinou souboru Jáva programovací jazyk určený k podpoře programování podle disciplína objektových schopností.[2]

Tento jazyk je pozoruhodný tím, že je jazykem podmnožiny raných objektových schopností. Ovlivnilo pozdější jazyky podmnožiny, jako jsou ADsafe a Caja / Cajita, podmnožiny Javascript.

Je také pozoruhodné, že umožňuje ověřování metod jako funkčně čisté, na základě jejich podpisů metod.[3]

Omezení uložená ověřovatelem Joe-E zahrnují:

  • Třídy nemusí mít měnitelná statická pole, protože vytvářejí globální stav.
  • Chytání výjimek z paměti je zakázáno, protože to umožňuje nedeterministické provedení. Ze stejného důvodu, Konečně klauzule nejsou povoleny.
  • Metody ve standardní knihovně mohou být blokovány, pokud jsou podle pravidel zkrocení považovány za nebezpečné. Například konstruktor nový soubor (název souboru) je blokován, protože umožňuje neomezený přístup k souborovému systému.

Cup of Joe je slang pro kávu, a tak slouží jako odkaz na Java, který se vyhýbá ochranným známkám. Název Joe-E má tedy naznačovat adaptaci myšlenek z Programovací jazyk E. vytvořit variantu jazyka Java.

Waterken Server je napsán v Joe-E.

Reference

  1. ^ Časný odkaz na Joe-E na mail-listu cap-talk, Mark S. Miller, 2004/11/01, vyvoláno 2009/11/21.
  2. ^ Joe-E: Zabezpečená podmnožina Javy, Adrian Mettler, David Wagner a Tyler Close; Leden 2010.
  3. ^ Ověřitelná funkční čistota v Javě, Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner; Října 2008, konference o bezpečnosti počítačů a komunikací.

externí odkazy