Joe-E
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: Waterken Server is written in Joe-E.
primaryTopic
Joe-E
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: Waterken Server is written in Joe-E.
has abstract
Joe-E is a subset of the Java ...... en Server is written in Joe-E.
@en
designer
influenced
influenced by
latest release version
Link from a Wikipage to an external page
Wikipage page ID
25,161,339
Wikipage revision ID
726,887,509
paradigm
hypernym
comment
Joe-E is a subset of the Java ...... en Server is written in Joe-E.
@en
label
Joe-E
@en
wasDerivedFrom
isPrimaryTopicOf
name
Joe-E
@en