TY - JOUR
T1 - Separate compilation for standard ml
AU - Appel, Andrew W.
AU - MacQueen, David B.
PY - 1994/1/6
Y1 - 1994/1/6
N2 - Languages that support abstraction and modular structure, such as Standard ML, Modula, Ada, and 1994 C++, may have deeply nested dependency hierarchies among source files. In ML the problem is particularly severe because ML's powerful parameterized module (functor) facility entails dependencies among implementation modules, not just among interfaces. To efficiently compile individual modules in such languages, it is useful (in ML, necessary) to infer, digest, and cache the static environment resulting from the compilation of each module. Our system provides a simple model of compilation and linkage that supports incremental recompilation (a restricted form of separate compilation) with type-safe linkage. This model is made available to user programs in the form of a set of internal compiler modules, a feature that we call the “visible compiler”. The chief client of this interface is the IRM incremental recompilation manager from CMU.
AB - Languages that support abstraction and modular structure, such as Standard ML, Modula, Ada, and 1994 C++, may have deeply nested dependency hierarchies among source files. In ML the problem is particularly severe because ML's powerful parameterized module (functor) facility entails dependencies among implementation modules, not just among interfaces. To efficiently compile individual modules in such languages, it is useful (in ML, necessary) to infer, digest, and cache the static environment resulting from the compilation of each module. Our system provides a simple model of compilation and linkage that supports incremental recompilation (a restricted form of separate compilation) with type-safe linkage. This model is made available to user programs in the form of a set of internal compiler modules, a feature that we call the “visible compiler”. The chief client of this interface is the IRM incremental recompilation manager from CMU.
UR - http://www.scopus.com/inward/record.url?scp=84976820664&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84976820664&partnerID=8YFLogxK
U2 - 10.1145/773473.178245
DO - 10.1145/773473.178245
M3 - Article
AN - SCOPUS:84976820664
SN - 1523-2867
VL - 29
SP - 13
EP - 23
JO - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
JF - SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
IS - 6
ER -