Joe-E is a historical programming language created in 2004. 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. Read more on Wikipedia...

15Years Old 20Users 0Jobs
  • Joe-E ranks in the top 50% of languages
  • the Joe-E wikipedia page
  • Joe-E first appeared in 2004
  • See also: java, e
  • I have 21 facts about Joe-E. what would you like to know? email me and let me know how I can help.

Last updated November 16th, 2019