Program fragments, linking, and modularization

Luca Cardelli
1997 Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97  
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module systems have emerged in functional and object-oriented programming where software components are not separately typecheckable and compilable. In this paper we provide a context where linking can be studied, and separate compilability can be formally stated and checked. We propose a framework where each module is separately
more » ... compiled to a self-contained entity called a linkset ; we show that separately compiled, compatible modules can be safely linked together. -------------
doi:10.1145/263699.263735 dblp:conf/popl/Cardelli97 fatcat:23mk7l5jufduloc67kmviwknce