A. Igarashi, B. C. Pierce, On Inner classes., Inf. Comput. 177 (1) (2002) 56--89. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
....can be expressed as a singleton type this.type. This can accurately model covariant self types. For contravariant self types one would need a matching operation [11,10] instead of or in addition to the subtyping relation that we introduce. Second, an inner class of the kind it exists in Java [22,24] can be referenced by a type selection Outer.Inner where Outer and Inner are types. Such a selection risks being non sensical in the presence of abstract type members in the outer class Outer. Consequently, our typing rules prevent formation of the type T if L s definition depends on some ....
A. Igarashi. On inner classes. In Proceedings of the European Conference on Object-Oriented Programming, Cannes, France, June 2000.
Constructive Foundations for Featherweight Java - Studer (2001) (1 citation) (Correct)
....thesis [38] Menzel and Schmitt [1] as well as the LOOP project by Jacobs, van den Berg, Huisman, van Berkum, Hensel and Tews [26] The main purpose of the present paper is the study of a recursion theoretic denotational semantics for Featherweight Java, called FJ. Igarashi, Pierce and Wadler [25, 24] have proposed this system as a minimal core calculus for Java, making it easier to understand the consequences of extensions and variations. For example, they employ it to prove type safety of an extension with generic classes as well as to obtain a precise understanding of inner classes. Ancona ....
....soundness of our interpretation with respect to subtyping, typing and reductions. 3 Featherweight Java Featherweight Java is a minimal core calculus for Java proposed by Igarashi, Pierce and Wadler [25] for the formal study of an extension of Java with parameterized classes. Igarashi and Pierce [24] employed Featherweight Java also to obtain a precise understanding of inner classes. FJ is a minimal core calculus in the sense that as many features of Java as possible are omitted, while maintaining the essential flavor of the language and its type system. Nonetheless, this fragment is large ....
[Article contains additional citation context not shown here]
Atsushi Igarashi and Benjamin Pierce. On inner classes. In Informal Proceedings of the Seventh Internatianal Workshop on Foundations of Object-Oriented Languages (FOOL), 2000.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
....as a singleton type this.type. This can accurately model covariant self types. For contravariant self types one would need a matching operation [BFP97, Bru02] instead of or in addition to the subtyping relation that we introduce. Second, an inner class of the kind it exists in Java [GJSB00, Iga00] can be referenced by a type selection Outer . Inner where Outer and Inner are types. Such a selection risks being nonsensical in the presence of abstract type members in the outer class Outer. Consequently, our typing rules prevent formation of the type T.L if L s definition depends on some ....
Atsushi Igarashi. On inner classes. In Proceedings of the European Conference on Object-Oriented Programming, Cannes, France, June 2000.
Evolving Software with Extensible Modules - Zenger (2002) (4 citations) (Correct)
....without knowing its concrete superclass. Since Keris is designed to support Java s compilation model while being implementable on the standard Java platform, we decided not to offer a facility for abstracting over regular classes. Thus, classes on the module level are handled like inner classes [24, 28]. To support reuse and extensibility of types, Keris introduces the notion of virtual class fields as an alternative type abstraction mechanism. A class field defines a new class by specifying its interface and by possibly giving a concrete implementation, which is typically a reference to a ....
A. Igarashi. On inner classes. In Proceedings of the Cannes, France, June 2000.
Constructive Foundations for Featherweight Java - Studer (2000) (1 citation) (Correct)
....cf. e.g. Fiore, Jung, Moggi, O Hearn, Riecke, Rosolini and Stark [19] for a recent survey on domains and denotational semantics. The main purpose of the present paper is the study of a recursion theoretic denotational semantics for Featherweight Java, called FJ. Igarashi, Pierce and Wadler [25, 24] have proposed this system as a minimal core calculus for Java, making it easier to understand the consequences of extensions and variations. For example, they employ it to prove type safety of an extension with generic classes as well as to obtain a precise understanding of inner classes. Ancona ....
....of our interpretation with respect to subtyping, typing and reductions. 3 Featherweight Java Featherweight Java is a minimal core calculus for Java proposed by Igarashi, Pierce and Wadler [25] for the formal study of an extension of Java with 12 parameterized classes. Igarashi and Pierce [24] employed Featherweight Java also to obtain a precise understanding of inner classes. FJ is a minimal core calculus in the sense that as many features of Java as possible are omitted, while maintaining the essential flavor of the language and its type system. Nonetheless, this fragment is large ....
Atsushi Igarashi and Benjamin Pierce. On inner classes. In Informal Proceedings of the Seventh Internatianal Workshop on Foundations of Object-Oriented Languages (FOOL), 2000.
Regular Object Types - Gapeyev, Pierce (2003) (24 citations) Self-citation (Pierce) (Correct)
No context found.
A. Igarashi and B. C. Pierce. On inner classes. In European Conference on Object-Oriented Programming (ECOOP), 2000. Also in informal proceedings of the Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL). To appear in Information and Computation.
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
No context found.
A. Igarashi, B. C. Pierce, On Inner classes., Inf. Comput. 177 (1) (2002) 56--89.
Inner Classes Visit Aliasing - Smith, Drossopoulou (Correct)
No context found.
Igarashi, A., Pierce, B.C.: On Inner Classes. In: European Conference in Object Oieted Programming. Volume LNCS 1850. (2000)
A Calculus of Untyped Aspect-Oriented Programs - Jagadeesan, Jeffrey, Riely (2003) (14 citations) (Correct)
No context found.
Atsushi Igarashi and Benjamin C. Pierce. On inner classes. In European Conference on Object-Oriented Programming (ECOOP), 2000. Also in informal proceedings of the Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL). To appear in Information and Computation.
Java as a Functional Programming Language - Anton Setzer Dept (Correct)
No context found.
Atsushi Igarashi and Benjamin C. Pierce. On inner classes. In European Conference on Object-Oriented Programming (ECOOP), volume 1850 of Springer Lecture Notes in Computer Science, pages 129--153, 2000.
Inner Classes Visit Aliasing - Smith, Drossopoulou (2003) (Correct)
No context found.
Igarashi, A., Pierce, B.C.: On Inner Classes. In: European Conference in Object Oieted Programming. Volume LNCS 1850. (2000)
A First-Class Approach to Genericity - Allen (2003) (5 citations) (Correct)
No context found.
A. Igarashi, B. Pierce. On Inner Classes. In ECOOP 2000.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
No context found.
A. Igarashi. On inner classes. In Proceedings of the European Conference on Object-Oriented Programming, Cannes, France, June 2000.
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