Separate Compilation and Partial Specification in Pascal

DOI10.1109/TSE.1980.230483MaRDI QIDQ3870284zbMATH OpenFDO

Authors A. Celentano, P. Della Vigna, Carlo Ghezzi, Dino Mandrioli

Publication date 1980

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1980.230483

zbMATH Keywords

abstract data typesinformation hidinglinkerspartial specificationprogram librariesseparate compilationtype checking

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

This page was built for publication: Separate Compilation and Partial Specification in Pascal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3870284)