Andrew P. Black Digital Equipment Corporation Norman Hutchinson University of ...  Home/Search
Context Related
| cs.ubc.ca/nest/dsg/em...emeraldtypes.ps 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: cs.ubc.ca/nest/dsg/emerald (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Emerald is a statically typed object-oriented language that was originally intended for programming distributed subsystems and applications [Jul 88]. It is important that such systems be dynamically extensible, i.e., that it be possible to introduce new kinds of entities into the system without re-compiling or re-linking the whole system. This led us to devise a type system based on the notion of type conformity rather than type equality. We also felt that polymorphism was a necessary... (Update)
Context of citations to this paper: More
.... include a separate subtyping hierarchy, however, and recent versions include a powerful mechanism for statically type checked polymorphism [BH90]. All Emerald data structures are objects, and the only way to manipulate or access an object is to send it a message. Thus, Emerald...
...can be accessed, whether the actual implementation is Deposit Impl1 or Deposit Impl2 . This allows a new style of polymorphism[6]. Such assignment statements are allowed only if Deposit Impl1 and Deposit Impl2 implement the interface Deposit . Here, obase...
Cited by: More
Encapsulating Plurality - Andrew Black And (1993) (Correct)
Increasing Cross-Domain Call Batching Using Promises and Batched .. - Zondervan (1995) (Correct)
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language.. - Bruce, Schuett, al. (1995) (Correct)
Active bibliography (related documents): More All
0.9: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: Developments in Object-Oriented Type Systems - Schwartzbach (1994) (Correct)
0.2: Typing in object-oriented languages: Achieving expressiveness and.. - Bruce (1996) (Correct)
Similar documents based on text: More All
0.7: Emerald: A General-Purpose Programming Language - Raj, Tempero, Levy, Black, al. (1991) (Correct)
0.3: The Emerald Programming Language - Report Norman Hutchinson (1987) (Correct)
0.2: An Emerald Primer - Hutchinson (1996) (Correct)
Related documents from co-citation: More All
13: Eiffel -- The Language (context) - Meyer - 1992
11: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
9: Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
BibTeX entry: (Update)
Andrew P. Black and Norman Hutchinson. Typechecking polymorphism in Emerald. Technical Report CRL 91/1 (Revised), Digital Equipment Corporation, Cambridge Research Lab, Cambridge, Mass., July 1991. http://citeseer.ist.psu.edu/black91typechecking.html More
@techreport{ black91typechecking,
author = "Andrew P. Black and Norman C. Hutchinson",
title = "Typechecking Polymorphism in {E}merald",
number = "CRL 91{\slash}1",
address = "Cambridge MA ({USA})",
year = "1991",
url = "citeseer.ist.psu.edu/black91typechecking.html" }
Citations (may not include all citations):405 Fine-grained mobility in the Emerald system - Jul, Levy et al. - 1988
214 An Ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1986
214 An Ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1984
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
92 An introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986
92 IEEE Transactions on Software Engineering (context) - Black, Hutchinson et al. - 1987
89 A parallel object-oriented language with inheritance and sub.. (context) - America, van der Linden - 1990
81 A proposal for making Eiffel type-safe - Cook - 1989
71 Bounded polymorphism for object-oriented programming (context) - Canning, Cook et al. - 1989
60 ACM Transactions on Programming Languages and Systems (context) - Donahue, Demers et al. - 1985
14 Software --- Practice and Experience (context) - Welsh, checks - 1978
5 Emerald: An Object-Oriented Language for Distributed Program.. (context) - Hutchinson - 1987
1 Massachusetts Institute of Technolgy (context) - Liskov, Atkinson et al. - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ubc.ca/nest/dsg/emerald.html):
An Emerald Primer - Hutchinson (1996) (Correct)
The Emerald Programming Language - Report Norman Hutchinson (1987) (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