Kim B. Bruce, Luca Cardelli, and Benjamin Pierce. Comparing Object Encodings. Theoretical Aspects of Computer Science, 1997. to appear. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1997) (2 citations) (Correct)
....of the hidden method, whereas [16] requires them to have the same type. As the first requirement is weaker, our soundness result automatically applies to the later, stricter version of Java as in [16] Our work is grounded in reality: rather than give an encoding of Java into a minimal calculus [5] we modelled a language which is very near to Java syntax and implementations. 1.2 Our approach We define Java s , a subset of Java containing the features listed previously, and a type inference system which assigns types to well formed Java s expressions. Java s programs are then enriched with ....
Kim B. Bruce, Luca Cardelli, and Benjamin Pierce. Comparing Object Encodings. Theoretical Aspects of Computer Science, 1997. to appear.
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (2 citations) (Correct)
No context found.
Kim B. Bruce, Luca Cardelli, and Benjamin Pierce. Comparing Object Encodings. Theoretical Aspects of Computer Science, 1997. to appear.
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