Title :
Separate Compilation and Partial Specification in Pascal
Author :
Celentano, Augusto ; Vigna, Pierluigi Della ; Ghezzi, Carlo ; Mandrioli, Dino
Author_Institution :
Istituto di Elettrotecnica ed Elettronica, Politecnico di Milano
fDate :
7/1/1980 12:00:00 AM
Abstract :
Separate compilation is a useful tool in the development, debugging, testing, and integration of modular systems.
Keywords :
Abstract data types; information hiding; linkers; program libraries; separate compilation; type checkdng; type generators; Assembly; Computer languages; Debugging; Joining processes; Production; Proposals; Protection; Software libraries; Software quality; System testing; Abstract data types; information hiding; linkers; program libraries; separate compilation; type checkdng; type generators;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1980.230483
