Thumbnail
Access Restriction
Open

Author Shao, Zhong
Source CiteSeerX
Content type Text
Publisher ACM Press
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Minimum Import Interface ♦ Traditional Statically-typed Language ♦ External Symbol ♦ Program Module ♦ Implementation Change ♦ Separate Compilation Method ♦ Following Optimal Property ♦ Short Version ♦ Twentieth Annual Acm Sigplan-sigact Symposium ♦ Compilation Unit ♦ Import Interface ♦ Damas-milner Type Discipline ♦ Module Type-check
Description To separately compile a program module in traditional statically-typed languages, one has to manually write down an import interface which explicitly specifies all the external symbols referenced in the module. Whenever the definitions of these external symbols are changed, the module has to be recompiled. In this paper, we present an algorithm which can automatically infer the "minimum" import interface for any module in languages based on the Damas-Milner type discipline (e.g., ML). By "minimum", we mean that the interface specifies a set of assumptions (for external symbols) that are just enough to make the module type-check and compile. By compiling each module using its "minimum" import interface, we get a separate compilation method that can achieve the following optimal property: A compilation unit never needs to be recompiled unless its own implementation changes. A short version of this paper will appear in the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of P...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1993-01-01
Publisher Institution In ACM Symp. on Principles of Programming Languages