A Simple Separate Compilation Mechanism for Block-Structured Languages

1 May 1984

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-10 (3) , 221-227
https://doi.org/10.1109/tse.1984.5010230

Abstract

A very simple and efficient technique for the introduction of separate compilation facilities into compilers for block-structured languages is presented. Using this technique, programs may be compiled in parts while the compile-time checking advantages of compilation as a whole are retained. These features are simple for a programmer to understand and are easy to implement. Experience has shown this separate compilation mechanism to be a useful tool in the development of large programs in block-structured languages.

Keywords

This publication has 4 references indexed in Scilit:

Separate Compilation and Partial Specification in Pascal
IEEE Transactions on Software Engineering, 1980
Parallel compilation: A design and its application to SIMULA 67
Computer Languages, 1978
Extensions to PASCAL for separate compilation
ACM SIGPLAN Notices, 1978
Revised report on the algorithmic language ALGOL 68
Acta Informatica, 1975