Howdy Logo
Glossary Hero image

The Howdy Glossary

Search terms in Glossary


Joe-E is a programming language designed to create secure software. The language emphasizes encapsulation, confinement and proof-carrying code for runtime security. It uses annotations for verification and runs on the Java platform. Joe-E was created as part of the Jif research project at the University of Pennsylvania's Distributed Systems Lab (later moved to Johns Hopkins University).