Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Stephen N. Freund, John C. Mitchell. The type system for object initializatiion in the Jave bytecode language. ACM Transactions on Programming Languages and Systems, 21(6):1196-1250, 1999. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A Type System For Object Initialization In the Java Bytecode LanguageStephen N. Freund, John C. Mitchell. ENTCS, 10:242-245, 1997. [doi] A Type System for Object Initialization in the Java Bytecode LanguageStephen N. Freund, John C. Mitchell. OOPSLA 1998: 310-327 [doi] A Type System for the Java Bytecode Language and VerifierStephen N. Freund, John C. Mitchell. JAR, 30(3-4):271-321, 2003. [doi]
The following publications are possibly variants of this publication: