A simple mechanism for type security across compilation units
- 1 January 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (8), 1238-1239
- https://doi.org/10.1109/32.7631
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Separate Compilation and Partial Specification in PascalIEEE Transactions on Software Engineering, 1980
- Make — a program for maintaining computer programsSoftware: Practice and Experience, 1979
- The Berlin ALGOL 68 implementationPublished by Association for Computing Machinery (ACM) ,1977
- High-level binding with low-level linkersCommunications of the ACM, 1976