A Scheme for the Automatic Inference of Variable Types-Reference-Cited by-同舟云学术

A Scheme for the Automatic Inference of Variable Types

Published:1980-01 Issue:1 Volume:27 Page:128-145
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Kaplan Marc A.¹,Ullman Jeffrey D.²

Affiliation:

1. IBM Thomas J Watson Research Center, P O Box 218, Yorktown Heights, NY and Princeton University, Princeton, New Jersey

2. Department of Computer Science, Stanford University, Stanford, CA and Princeton University, Princeton, New Jersey

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Reference13 articles.

1. AHo A V AND ULLMAN J D The Theory of Parsing Translatlon and Compdmg Vol I1" Compthng Prenttee-Hall Englewood Chffs N J. 1973 AHo A V AND ULLMAN J D The Theory of Parsing Translatlon and Compdmg Vol I1" Compthng Prenttee-Hall Englewood Chffs N J. 1973

2. APL really need run-time checking?;Arid SAAL;Sofiware--Pracnce and Expertence,1974

3. DONN~LLAN T Lattice Theory Pergamon Press Elmsford N Y 1968 DONN~LLAN T Lattice Theory Pergamon Press Elmsford N Y 1968

4. GRAHAM S.L AND WEOMAN M A fast and usually linear algorithm for global flow analysis J A CM 23 1 (Jan. 1976) 172-202 10.1145/321921.321939 GRAHAM S.L AND WEOMAN M A fast and usually linear algorithm for global flow analysis J A CM 23 1 (Jan. 1976) 172-202 10.1145/321921.321939

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Julia: A Fresh Approach to Numerical Computing;SIAM Review;2017-01

2. Array Operators Using Multiple Dispatch;Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming;2014-06-09

3. Computing Array Shapes in MATLAB;Languages and Compilers for Parallel Computing;2003

4. On Abstraction in Software Verification;Computer Aided Verification;2002

5. Correctly detecting intrinsic type errors in typeless languages such as MATLAB;ACM SIGAPL APL Quote Quad;2000-12