Jonathan Eifrig, Scott Smith, Valery Trifonov, et al.  Home/Search
Context Related
| jhu.edu/~trifonov/paper...itoopls.ps.gz jhu.edu/pub/scott/itoopls.ps.Z jhu.edu/pub/eifrig/Papers/LASC.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: jhu.edu/~trifonov/papers/ (more) From: jhu.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper we give semantics to Loop, an expressive typed object-oriented programming language with updatable instance variables. Loop has a rich type system that allows for the typing of methods operating over an open-ended "self " type. We prove the type system given is sound; i.e., well-typed programs do not experience "message not understood" errors. The semantics of Loop is given by a translation into a state-based language, Soop, that contains reference cells, records, and a form of... (Update)
Context of citations to this paper: More
.... features in the context of concurrency; see for example [29] The works most closely related to ours are that of Eifrig et al. on LOOP [15] and that of Bruce and van Gent on TOIL [9] LOOP and TOIL are typed, imperative, object oriented languages with procedures, objects, and...
.... There have been several theoretical and practical approaches that capture concepts similar to that of protocol [15, 18, 22, 25, 26, 28, 29, 30, 31, 33]. Recently, Bruce et al. 10, 14] proposed axiomatizing the protocol extension relation as if it were a relation between...
Cited by: More
Type-Preserving Compilation of Featherweight Java - League, Trifonov, Shao (2001) (Correct)
Objects and Classes in Algol-like Languages - Reddy (1998) (Correct)
An Imperative Object Calculus - Basic Typing and Soundness - Abadi, Cardelli (1995) (Correct)
Similar documents (at the sentence level):
18.8%: Application of OOP Type Theory: State, Decidability.. - Eifrig, Smith.. (Correct)
Active bibliography (related documents): More All
0.7: Type Inference for Recursively Constrained Types and its.. - Eifrig, Smith, Trifonov (1995) (Correct)
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: A Syntactic Approach to Type Soundness - Wright, Felleisen (1992) (Correct)
Similar documents based on text: More All
0.6: A Simple Interpretation of OOP in a Language with State - Eifrig, Smith, Trifonov.. (1993) (Correct)
0.3: Constrained Types and their Expressiveness - Palsberg, Smith (1995) (Correct)
0.3: Sound Polymorphic Type Inference for Objects - Eifrig, Smith, Trifonov (1995) (Correct)
Related documents from co-citation: More All
8: Simple type-theoretic foundations for objectoriented programming - Pierce, Turner - 1994
7: A Semantics of Multiple Inheritance - Cardelli - 1988
6: bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
BibTeX entry: (Update)
J. Eifrig, S. Smith, V. Trifonov, and A. Zwarico. An interpretation of typed OOP in a language with state. Lisp and Symbolic Computation, 1995. To appear. http://citeseer.ist.psu.edu/eifrig95interpretation.html More
@article{ eifrig95interpretation,
author = "Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Amy E. Zwarico",
title = "An Interpretation of Typed {OOP} in a Language with State",
journal = "Lisp and Symbolic Computation",
volume = "8",
number = "4",
pages = "357-397",
year = "1995",
url = "citeseer.ist.psu.edu/eifrig95interpretation.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1984
306 A syntactic approach to type soundness - Wright, Felleisen - 1991
218 The mechanical evaluation of expressions (context) - Landin - 1964
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1986
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992
107 A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1989
92 Subtyping recursive types - Amadio, Cardelli - 1991
83 Bounded quantification is undecidable - Pierce - 1992
76 Towards a typed foundation for method specialization and inh.. (context) - Mitchell - 1990
74 Safe type checking in a statically-typed object-oriented pro.. (context) - Bruce - 1993
71 bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
65 Equivalence in functional languages with effects - Mason, Talcott - 1991
62 Theoretical Aspects of Object-Oriented Programming: Types - Gunter, Mitchell - 1994
57 Type inference for records in a natural extension of ML (context) - R'emy - 1994
44 recursive types and higher-order polymorphism (context) - Bruce, Mitchell et al. - 1992
40 A static type system for message passing (context) - Ghelli - 1991
38 Safe and decidable type checking in an object-oriented langu.. - Bruce, Crabtree et al. - 1993
36 Parameter-passingand the lambda calculus - Crank, Felleisen - 1991
22 A semantics of object types - Abadi, Cardelli - 1994
20 Two semantic models of object-oriented languages (context) - Kamin, Reddy - 1994
19 Wrapper semantics of an object-oriented programming language.. (context) - Hense - 1991
19 Application of OOP type theory: State (context) - Eifrig, Smith et al. - 1994
18 TOIL: A new type-safe object-oriented imperative language (context) - Bruce, van Gent - 1993
4 A sequent calculus for type assignment (context) - Seldin - 1977
2 A simple interpretation of OOP in a language with state - Eifrig, Smith et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.jhu.edu/~trifonov/papers/): More
Type Inference for Recursively Constrained Types and its.. - Eifrig, Smith, Trifonov (1995) (Correct)
A Simple Interpretation of OOP in a Language with State - Eifrig, Smith, Trifonov.. (1993) (Correct)
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
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