A type system for Smalltalk

Authors:
Justin O. Graver;Ralph E. Johnson
Affiliations:
University of Florida;University of Illinois at Urbana-Champaign
Venue:
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1989

Citing 17
Cited 28

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
A semantics of multiple inheritance.

Proc. of the international symposium on Semantics of data types
On understanding types, data abstraction, and polymorphism

ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
The C++ programming language

The C++ programming language
An introduction to Trellis/Owl

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Object structure in the Emerald system

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type-checking Smalltalk

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type theories and object-oriented programmimg

ACM Computing Surveys (CSUR)
TS: an optimizing compiler for smalltalk

OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Inheritance in smalltalk-80: a denotational definition

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Inferring types in Smalltalk

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type declaration and inference system for smalltalk

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Amber

Proceedings of the Thirteenth Spring School of the LITP on Combinators and Functional Programming Languages
A semantic model of types for applicative languages

LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Type checking and type inference for object-oriented programming languages

Type checking and type inference for object-oriented programming languages

Interactive type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Making pure object-oriented languages practical

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented type inference

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Introduction to the literature on object-oriented design, programming, and languages

ACM SIGPLAN OOPS Messenger
Maintenance Support for Object-Oriented Programs

IEEE Transactions on Software Engineering - Special issue on software maintenance
Safe type checking in a statically-typed object-oriented programming language

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented programming without recursive types

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Strongtalk: typechecking Smalltalk in a production environment

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Precise concrete type inference for object-oriented languages

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
On the notion of inheritance

ACM Computing Surveys (CSUR)
Efficient dynamic dispatch without virtual function tables: the SmallEiffel compiler

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
From polyvariant flow information to intersection and union types

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reifying configuration management for object-oriented software

Proceedings of the 20th international conference on Software engineering
Object, Message, and Performance: How they Coexist in Self

Computer
Attaching Second-Order Types to Methods in an Object-Oriented Language

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Type Inference of SELF

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
SOLAT - A Simple Object-Oriented Language Analyzing Tool

TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
From Polyvariant flow information to intersection and union types

Journal of Functional Programming
The impact of software engineering research on modern progamming languages

ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient local type inference

Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Tracing for web 3.0: trace compilation for the next generation web applications

Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Static type inference for Ruby

Proceedings of the 2009 ACM symposium on Applied Computing
Type Analysis for JavaScript

SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Profile-guided static typing for dynamic scripting languages

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Type Checking for JavaScript

Electronic Notes in Theoretical Computer Science (ENTCS)
An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Cast insertion strategies for gradually-typed objects

Proceedings of the 9th symposium on Dynamic languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a type system for Smalltalk that is type-safe, that allows most Smalltalk programs to be type-checked, and that can be used as the basis of an optimizing compiler.