Jan Vitek and Boris Bokowski. Confined types in Java. Software - Practice & Experience, 31(6):507-- 532, May 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
No context found.
Jan Vitek and Boris Bokowski. Confined types in Java. Software - Practice & Experience, 31(6):507-- 532, May 2001.
Opportunities and challenges for formal specification of Java.. - Kiniry, Poll (Correct)
No context found.
J. Vitek and B. Bokowski. Confined Types in Java. Computer Networks, 36(4):407-- 421, 2001. 5
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC