Justin Owen Graver  Home/Search
Context Related
| cuiwww.unige.ch/OS...raverthesis.ps.gz uiuc.edu/pub/lang/sm...graverthesis.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: cuisg11.unige.ch/OSG/people/jv... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Type systems for object-oriented programming languages have been studied a great deal over the past few years. Since Smalltalk was one of the earliest object-oriented languages, it is not surprising that there have been several attempts to provide a type system for it. Unfortunately, none of the attempts have been completely successful. In particular, none of the proposed type systems are both type-safe and capable of type-checking most common Smalltalk programs. Smalltalk violates many of the... (Update)
Context of citations to this paper: More
...7. x succ. x : true. x isTrue. we would like x to have the type fIntg after the first assignment, and fBoolg after the second. Graver [Gra89] presents a version of Smalltalk called Typed Smalltalk where the compiler infers types for some variables whereas others must be...
...to be analyzed precisely. For example, Graver and Johnson use a case analysis within methods to analyze similar structures precisely [10]. We find it preferable, though, to strive for the best precision available using our first tool, the constraints, and consider other...
Cited by: More
The Evolution of Compiler an Object-oriented Framework - Graver (1992) (Correct)
Interfaces and Specifications for the Smalltalk-80 Collection.. - Cook (1992) (Correct)
Larch/Smalltalk: A Specification Language for Smalltalk - Cheon (1991) (Correct)
Similar documents (at the sentence level):
13.8%: A Type System for Smalltalk - Graver, Johnson (1990) (Correct)
Active bibliography (related documents): More All
1.0: From Types to Dataflow: Code Analysis for an Object-Oriented.. - Barnard (1993) (Correct)
0.7: An Efficient Implementation of Self, a Dynamically-Typed.. - Chambers, Ungar, Lee (1991) (Correct)
0.5: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.1: Typechecking XML Views of Relational Databases - Alon, Milo, Neven, Suciu (2001) (Correct)
0.1: XML with Data Values: Typechecking Revisited - Alon, Milo, Neven, Suciu (2001) (Correct)
0.1: Typechecking for XML Transformers - Tova Milo Tel (2000) (Correct)
Related documents from co-citation: More All
4: Type-checking Smalltalk (context) - Johnson - 1986
4: Inferring types in Smalltalk (context) - Suzuki - 1981
4: Smalltalk 80: The language and its implementation (context) - Goldberg, Robson - 1983
BibTeX entry: (Update)
Graver, J.O., Type-Checking and Type Inference for Object-Oriented Programming Languages, PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, UIUCD-R-89-1539, August 1989. http://citeseer.ist.psu.edu/55285.html More
@techreport{ graver89typechecking,
author = "Justin Owen Graver",
title = "Type-Checking and Type-Inference for Object-Oriented Programming Languages",
number = "UUICDCS-R-89-1539 and UILU-ENG-89-1758",
year = "1989",
url = "citeseer.ist.psu.edu/55285.html" }
Citations (may not include all citations):1274 Object-oriented Software Construction (context) - Meyer - 1988
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965 ACM DBLP
461 Programming Language (context) - Stroustrup - 1986
388 On understanding types (context) - Cardelli, Wegner - 1985
369 A semantics of multiple inheritance - Cardelli - 1984
306 Self: The power of simplicity (context) - Ungar, Smith - 1987
257 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
214 An ideal model for recursive polymorphic types (context) - MacQueen, Plotkin et al. - 1984 ACM DBLP
148 Object structure in the Emerald system (context) - Black, Hutchinson et al. - 1986
131 The essence of Algol (context) - Reynolds - 1981
121 Efficient implementation of the Smalltalk-80 system - Deutsch, Schiffman - 1984 ACM DBLP
107 Complete type inference for simple objects (context) - Wand - 1987 DBLP
92 An introduction to Trellis/Owl (context) - Schaffert, Cooper et al. - 1986 ACM DBLP
92 IEEE Transactions on Software Engineering (context) - Black, Hutchinson et al. - 1987
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982 ACM DBLP
66 Declaration-free type checking (context) - Mishra, Reddy - 1985
59 Basic Polymorphic Typechecking - Cardelli - 1985 ACM DBLP
57 and Jeffrey D (context) - Aho, Seth - 1986
49 Type theories and object-oriented programming (context) - Danforth, Tomlinson - 1988 DBLP
45 Finding the source of type errors (context) - Wand - 1986 ACM DBLP
44 ThingLab --- A Constraint Oriented Simulation Laboratory (context) - Borning - 1979
44 Structural subtyping and the notion of power type - Cardelli - 1988 ACM DBLP
40 Inheritance in Smalltalk-80: A denotational definition (context) - Kamin - 1988 ACM DBLP
36 TS: An optimizing compiler for Smalltalk (context) - Johnson, Graver et al. - 1988 ACM DBLP
30 Inferring types in Smalltalk (context) - Suzuki - 1981 ACM DBLP
29 A type declaration and inference system for Smalltalk (context) - Borning, Ingalls - 1982 ACM DBLP
23 Using types and inheritance in object-oriented programs (context) - Halbert, O'Brien - 1987
22 Type-checking Smalltalk (context) - Johnson - 1986
21 A third generation Smalltalk-80 implementation (context) - Caudill, Wirfs-Brock - 1986
11 Binding time optimization in programming languages: Some tho.. (context) - Jones, Muchnick - 1976
9 Hurricane: An optimizing compiler for Smalltalk (context) - Atkinson - 1986 ACM DBLP
8 A general scheme for the automatic inference of variable typ.. (context) - Ullman - 1978 ACM DBLP
6 A Practical Introduction to Denotational Semantics (context) - Allison - 1986 ACM
4 Creating efficient systems for object-oriented languages (context) - Suzuki, Terada - 1984 ACM DBLP
4 Arithmetic and double dispatching in Smalltalk (context) - Hebel, Johnson - 1990 ACM
3 A higher order polymorphic type system for applicative langu.. (context) - MacQueen, Sethi - 1982
2 Adding Type Specification and Type-Checking Capabilities to .. (context) - Graver - 1987
2 High-level Optimization in a Typed Smalltalk Compiler (context) - Loyall - 1988
2 A compile-time type-checking system for Smalltalk (context) - Cook, Roberts - 1985
2 QUICKTALK: A Smalltalk-80 dialect for defining primitive met.. (context) - Ballard, Maier et al. - 1986 ACM DBLP
1 Typed Smalltalk Working Papers (context) - Gilbert, Graver et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cuisg11.unige.ch/OSG/people/jvitek/Resources/Archive/): More
Coordinating Distributed Objects with Declarative Interfaces - Singh, Gisi (1995) (Correct)
A Simple Scheme to Make Passwords Based on One-Way Functions Much .. - Manber (1996) (Correct)
The Cecil Language, Specification and Rationale - Chambers (1993) (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