A general scheme for the automatic inference of variable types

1 January 1978

conference paper
Published by Association for Computing Machinery (ACM)

p. 60-75
https://doi.org/10.1145/512760.512768

Abstract

We present the best known algorithm for the determination of run-time types in a programming language requiring no type declarations. We demonstrate that it is superior to other published algorithms and that it is the best possible algorithm from among all those that use the same set of primitive operators.

Keywords

AUTOMATIC INFERENCE
PUBLISHED ALGORITHM
TYPE DECLARATION
POSSIBLE ALGORITHM
KNOWN ALGORITHM
PRIMITIVE OPERATOR
PROGRAMMING LANGUAGE
VARIABLE TYPE
RUN-TIME TYPE
GENERAL SCHEME

This publication has 0 references indexed in Scilit: