论文信息 - A general scheme for the automatic inference of variable types

A general scheme for the automatic inference of variable types

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.

Jeffrey D. Ullman | Marc A. Kaplan | J. Ullman

[1] Mark N. Wegman,et al. A Fast and Usually Linear Algorithm for Global Flow Analysis , 1976, J. ACM.

[2] Gary A. Kildall,et al. A unified approach to global program optimization , 1973, POPL.

[3] Jeffrey D. Ullman,et al. Analysis of a simple algorithm for global data flow problems , 1973, POPL.

[4] Alan M. Bauer,et al. Does APL really need run‐time checking? , 1974, Softw. Pract. Exp..

[5] Neil D. Jones,et al. Binding time optimization in programming languages: Some thoughts toward the design of an ideal language , 1976, POPL.