Separate Compilation and Partial Specification in Pascal

From MaRDI portal

Publication:3870284

Jump to:navigation, search

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)

zbMATH Keywords

information hiding abstract data types type checking separate compilation partial specification program libraries linkers

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3870284&oldid=17493817"