Java: Semantics and Type Soundness

by Gaurav S. Kc

Citations:

1 - 1 self

660	LATEX: A Document Preparation System. - Lamport - 1994
60	Java is type safe - probably - Drossopoulou, Eisenbach - 1997
44	A fragment calculus — towards a model of separate compilation, linking and binary compatibility - Drossopoulou, Eisenbach, et al. - 1999
32	Is the Java Type System Sound? Theory and Practice of Object Systems - Drossopoulou, Eisenbach, et al. - 1999
16	Towards an operational semantics and proof of type soundness for Java - Drossopoulou, Eisenbach - 1998
4	Some Aspects of Type Soundness for Java - Khurshid - 1997
1	Java Types Soundness Extended to Exceptions - Drossopoulou, Eisenbach, et al. - 1999