Java light is Type-Safe - Definitely (1998)

by Tobias Nipkow , David von Oheimb
Venue:In Proc. 25th ACM Symp. Principles of Programming Languages
Citations:40 - 0 self

Documents Related by Co-Citation

57 Java is Type Safe - Probably – Sophia Drossopoulou, Susan Eisenbach - 1997
86 Proving Java Type Soundness – Don Syme - 1997
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
177 A type system for Java bytecode subroutines – Raymie Stata, Martín Abadi - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
42 Ott: Effective tool support for the working semanticist – Peter Sewell, Francesco Zappa Nardelli , Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa - 2007
20 A formal specification of Java[TM] virtual machine instructions for objects, methods and subroutines – LEJ Z Qian
1097 Proof-Carrying Code – George C. Necula - 1997
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
53 A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines – Zhenyu Qian - 1998
14 A compositional account of the Java virtual machine – Phillip M Yelland - 1999
15 Byte Code Verification for Java Smart Cards Based on Model Checking – Joachim Posegga, Harald Vogt - 1998
10 The Functions of Java Bytecode – Mark P. Jones - 1998
17 Defensive Java virtual machine version – R M Cohen
54 A Specification of Java Loading and Bytecode Verification – Allen Goldberg - 1998
52 A Simple, Comprehensive Type System for Java Bytecode Subroutines – Robert O'Callahan