Separate Compilation and Partial Specification in Pascal
From MaRDI portal
Publication:3870284
DOI10.1109/TSE.1980.230483zbMath0432.68016MaRDI QIDQ3870284
Dino Mandrioli, P. Della Vigna, Carlo Ghezzi, A. Celentano
Publication date: 1980
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
information hidingabstract data typestype checkingseparate compilationpartial specificationprogram librarieslinkers
This page was built for publication: Separate Compilation and Partial Specification in Pascal