PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

Joe-E

Joe-E

< >

Joe-E is a programming language created in 2004 by David A. Wagner.

#2302on PLDB 18Years Old 55Users
0Books 0Papers

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...


ial.html 路 joe-e.html 路 euboea.html

View source

PLDB - Build the next great programming language 路 v2022 Day 94 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com