Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
This thesis is an ecclesiological-historical study of the Church of Uganda. a member of the Anglican Communion, from its origins… 
Review
2010
Review
2010
We present Joe-E, a language designed to support the development of secure software systems. Joe-E is a subset of Java that makes… 
Highly Cited
2010
Highly Cited
2010
A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The… 
Review
2010
Review
2010
We present a programming model for building web applications with security properties that can be confidently verified during a… 
2010
2010
Markets as diverse as labor, healthcare, restaurants, transportation, mobile telephony, and broadband Internet services often… 
2009
2009
2008
2008
The main goal of this dissertation was to demonstrate Joe Henderson as a seminal figure in jazz history; a position that, despite… 
1990
1990
In the fifth grade, I became empowered as a student. Until then, under the tutelageof Mrs. Kessler, Miss Sturgis, Miss Stout, Mrs… 
Review
1970
Review
1970
ix INTRODUCTION . . . 1 LITERATURE REVIEW . . . 4 Effects of Chemical Constituents on Growth • • • 5 Effects of Temperature on…