Separate Compilation and Partial Specification in Pascal
- 1 July 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-6 (4) , 320-328
- https://doi.org/10.1109/tse.1980.230483
Abstract
Separate compilation is a useful tool in the development, debugging, testing, and integration of modular systems.Keywords
This publication has 15 references indexed in Scilit:
- On implementing separate compilation in block-structured languagesPublished by Association for Computing Machinery (ACM) ,1979
- Parallel compilation: A design and its application to SIMULA 67Computer Languages, 1978
- A language extension for expressing constraints on data accessCommunications of the ACM, 1978
- Microsystems PLZ: A Family of System Programming Languages for MicroprocessorsComputer, 1978
- On a new approach to representation independent data classesActa Informatica, 1977
- Notes on the design of EuclidACM SIGPLAN Notices, 1977
- Notes on the design of EuclidPublished by Association for Computing Machinery (ACM) ,1977
- GypsyPublished by Association for Computing Machinery (ACM) ,1977
- An Introduction to the Construction and Verification of Alphard ProgramsIEEE Transactions on Software Engineering, 1976
- Programming-in-the-Large Versus Programming-in-the-SmallIEEE Transactions on Software Engineering, 1976