Kim B. Bruce  Home/Search
Context Related
| williams.edu/pub/kim/Static.ps.gz williams.edu/~kim/ftp/Static.ps.gz 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: williams.edu/~kim/README (more) Homepages: K.Bruce |
Rate this article:      (best)Comment on this article |
Abstract: While simple static-typing disciplines exist for object-oriented languages like C++, Java, and Object Pascal, they are often so inflexible that programmers are forced to use type casts to get around the restrictions. At the other extreme are languages like Beta and Eiffel, which allow more freedom, but require run-time or link-time checking to pick up the type errors that their type systems are unable to detect at compile time. This paper presents a collection of sample programs which... (Update)
Context of citations to this paper: More
...for describing types, as will be discussed in Section 4.4. In this dissertation, we use the following terminology drawn 15 from Bruce [16] and Abadi and Cardelli [1] A type is a set of attributes (fields) and a set of method specifications (i.e. signatures with return...
.... which are not necessarily subtypes of the superclass (see [CHC90] for the classical argument of this fact, and [Cas95, AC96, Bru96, Tai96] for more gentle introductions to the subject) Thus it is no longer true that our SubclassRel class should have the is subtype...
Cited by: More
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (Correct)
Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
Active bibliography (related documents): More All
0.6: Subtyping is not a good "Match" for.. - Bruce, Petersen, Fiech (Correct)
0.4: Modules in LOOM: Classes are not enough - Bruce, Petersen, Vanderwaart (1998) (Correct)
0.4: A Module System for LOOM - Petersen (1997) (Correct)
Similar documents based on text: More All
0.2: Type-safe covariance: Competent Compilers Can Catch.. - Howard, Bezault.. (2003) (Correct)
0.1: Using Kinds to Type Partially-Polymorphic Methods - Bonniot (2002) (Correct)
0.0: Type-Safe Covariant Specialization with Generalized Matching - Rinat (1999) (Correct)
Related documents from co-citation: More All
10: Polytoil: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
7: Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1996
7: A Semantics of Multiple Inheritance - Cardelli - 1988
BibTeX entry: (Update)
Kim Bruce. Typing in object-oriented languages: Achieving expressibility and safety. Computing Surveys, to appear. http://citeseer.ist.psu.edu/bruce96typing.html More
@misc{ bruce96typing,
author = "Kim B. Bruce",
title = "Typing in Object-oriented languages: Achieving expressibility and Safety",
year = "1996",
url = "citeseer.ist.psu.edu/bruce96typing.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988
1002 Programming Language (context) - Stroustrup - 1986
492 Smalltalk--80: The language and its implementation (context) - Goldberg, Robson - 1983
388 On understanding types (context) - Cardelli, Wegner - 1985
342 Eiffel: the language (context) - Meyer - 1992
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
148 Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
129 ACM Transactions on Programming Languages and Systems (context) - Amadio, Cardelli et al. - 1993
113 a non-strict purely functional language (context) - Hudak, Jones et al. - 1992
107 A denotational semantics of inheritance and its correctness - Cook, Palsberg - 1989
106 PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Schuett et al. - 1995
101 Simple type-theoretic foundations for object-oriented progra.. - Pierce, Turner - 1994
92 An introduction to Trellis /Owl (context) - Schaffert, Cooper et al. - 1986
92 IEEE Transactions on Software Engineering (context) - Black, Hutchinson et al. - 1987
82 Objects as closures: Abstract semantics of object-oriented l.. (context) - Reddy - 1988
81 A proposal for making Eiffel type-safe - Cook - 1989
76 Toward a typed foundation for method specialization and inhe.. (context) - Mitchell - 1990
76 DEC systems Research Center (context) - Cardelli, Donahue et al. - 1988
61 where clauses: Constraining parametric polymorphism (context) - Day, Gruber et al. - 1995
56 bounded quantification for object-oriented programming (context) - Canning, Cook et al. - 1989
49 Type theories and object-oriented programming (context) - Danforth, Tomlinson - 1988
46 SIMULA Begin (context) - Birtwistle, Dahl et al. - 1973
45 for object-oriented languages (context) - Bruce, Petersen et al. - 1996
45 The programming language Pascal (context) - Wirth - 1971
44 Structural subtyping and the notion of powertype - Cardelli - 1988
34 Theoretical Aspects of Object-Oriented Programming (context) - Gunter, Mitchell - 1994
33 The Beta programming language (context) - Kristensen, Madsen et al. - 1987
31 On subtyping and matching - Abadi, Cardelli - 1995
27 Reference Manual for the Ada Programming Language (context) - Dept - 1980
24 volume 114 of Lecture Notes in Computer Science (context) - Liskov, Manual - 1981
20 Typechecking polymorphism in Emerald - Black, Hutchinson - 1991
18 Baby Modula-3 and a theory of objects - Abadi - 1994
15 Object Pascal report (context) - Tesler - 1985
9 for Foundations of Computer Science (context) - Harper, MacQueen et al. - 1986
8 Williams College Senior Honors Thesis (context) - Petersen, system et al. - 1996
7 MIT Laboratory for Computer Science (context) - Day, Gruber et al. - 1994
6 SIGPLAN Notices (context) - Rodriguez, Ierusalimschy et al. - 1993
6 Theory and Practice of Object-Oriented Systems (context) - Bruce, Cardelli et al. - 1996
5 Emerald: An object-oriented language for distributed program.. (context) - Hutchinson - 1987
1 Text of an OOPSLA '95 address (context) - Meyer, OOPS et al. - 1995
1 Type-safe reuse of prototype software (context) - Shang - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.williams.edu/~kim/README.html): More
Safe Static Type Checking With Systems of Mutually Recursive.. - Bruce (1997) (Correct)
PolyTOIL: A type-safe polymorphic object-oriented language - Bruce, Fiech, Schuett (1995) (Correct)
Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (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