Type checking, separate compilation and reusability-Reference-Cited by-同舟云学术

Type checking, separate compilation and reusability

Published:1984-06 Issue:6 Volume:19 Page:285-289
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Levy Michael R.¹

Affiliation:

1. University of Victoria, Victoria, B.C. V8W 2Y2, Canada

Abstract

A strategy for performing type checking on programs built out of separately compiled parts is presented. This strategy is used in a programming environment that allows small components of a software system to be reconfigured in different ways. The strategy works by inferring type schemas for all of the undeclared functions used by a component and then unifying each schema with a program library when a configuration is built.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/502949.502902

Reference10 articles.

1. A theory of type polymorphism in programming

2. Inferring types in Smalltalk

3. A Scheme for the Automatic Inference of Variable Types

4. Barbara Liskov E. Moss C. Schaffert B. Scheifler and A. Snyder "CLU Reference Manual" MIT Lab. for Comp. Science Computation Structures Group Memo 161 (July 1978). Barbara Liskov E. Moss C. Schaffert B. Scheifler and A. Snyder "CLU Reference Manual" MIT Lab. for Comp. Science Computation Structures Group Memo 161 (July 1978).

5. DoD "The Programming Language Add: Reference Manual" i n Lecture Notes in Computer Science - 106 ed. J . Hartmanis Springe~-Verlag (1981). DoD "The Programming Language Add: Reference Manual" i n Lecture Notes in Computer Science - 106 ed. J . Hartmanis Springe~-Verlag (1981).

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

1. The cost of selective recompilation and environment processing;ACM Transactions on Software Engineering and Methodology;1994-01-02

2. The AdaPIC tool set: supporting interface control and analysis throughout the software development process;IEEE Transactions on Software Engineering;1989-03

3. Type checking in the large;Compiler Compilers and High Speed Compilation;1989