Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Joe-E> ?p ?o }
Showing triples 1 to 54 of
54
with 100 triples per page.
- Joe-E abstract "Joe-E is a subset of the Java programming language intended to support programming according to object-capability discipline.The language is notable for being an early object-capability subset language. It has influenced later subset languages, such as ADsafe and Caja/Cajita, subsets of Javascript.It is also notable for allowing methods to be verified as functionally pure, based on their method signatures.The restrictions imposed by the Joe-E verifier include: Classes may not have mutable static fields, because these create global state. Catching out-of-memory exceptions is prohibited, because doing so allows non-deterministic execution. For the same reason, finally clauses are not allowed. Methods in the standard library may be blocked if they are deemed unsafe according to taming rules. For example, the constructor new File(filename) is blocked because it allows unrestricted access to the filesystem.Cup of Joe is slang for coffee, and so serves as a trademark-avoiding reference to Java. Thus, the name Joe-E is intended to suggest an adaptation of ideas from the E programming language to create a variant of the Java language. Waterken Server is written in Joe-E.".
- Joe-E designer David_A._Wagner.
- Joe-E designer Mark_S._Miller.
- Joe-E influenced Caja_project.
- Joe-E influencedBy E_(programming_language).
- Joe-E influencedBy Java_(programming_language).
- Joe-E latestReleaseVersion "2.2.0a".
- Joe-E wikiPageExternalLink joe-e.
- Joe-E wikiPageExternalLink cup_of_joe.
- Joe-E wikiPageExternalLink waterken.sourceforge.net.
- Joe-E wikiPageExternalLink spec-20090918.pdf.
- Joe-E wikiPageID "25161339".
- Joe-E wikiPageLength "2762".
- Joe-E wikiPageOutDegree "12".
- Joe-E wikiPageRevisionID "659059356".
- Joe-E wikiPageWikiLink Caja_project.
- Joe-E wikiPageWikiLink Category:Java_(programming_language).
- Joe-E wikiPageWikiLink David_A._Wagner.
- Joe-E wikiPageWikiLink E_(programming_language).
- Joe-E wikiPageWikiLink Java_(programming_language).
- Joe-E wikiPageWikiLink Mark_S._Miller.
- Joe-E wikiPageWikiLink Object-capability_model.
- Joe-E wikiPageWikiLink Pure_function.
- Joe-E wikiPageWikiLinkText "Joe-E".
- Joe-E designer "David A. Wagner, Adrian Mettler, Chip Morningstar, Mark S. Miller".
- Joe-E influenced Caja_project.
- Joe-E influencedBy E_(programming_language).
- Joe-E influencedBy Java_(programming_language).
- Joe-E latestReleaseVersion "2.2".
- Joe-E name "Joe-E".
- Joe-E paradigm Object-capability_model.
- Joe-E wikiPageUsesTemplate Template:Compu-prog-stub.
- Joe-E wikiPageUsesTemplate Template:Infobox_programming_language.
- Joe-E wikiPageUsesTemplate Template:Object-capability_security.
- Joe-E wikiPageUsesTemplate Template:Reflist.
- Joe-E year "2004".
- Joe-E subject Category:Java_(programming_language).
- Joe-E hypernym Subset.
- Joe-E type Language.
- Joe-E type ProgrammingLanguage.
- Joe-E type Microsystem.
- Joe-E type Language.
- Joe-E type Thing.
- Joe-E type Q315.
- Joe-E type Q34770.
- Joe-E type Q9143.
- Joe-E comment "Joe-E is a subset of the Java programming language intended to support programming according to object-capability discipline.The language is notable for being an early object-capability subset language.".
- Joe-E label "Joe-E".
- Joe-E sameAs Q6208245.
- Joe-E sameAs m.09g9qcd.
- Joe-E sameAs Q6208245.
- Joe-E wasDerivedFrom Joe-E?oldid=659059356.
- Joe-E isPrimaryTopicOf Joe-E.
- Joe-E name "Joe-E".