|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Separate Compilation and Partial Specification in Pascal
July 1980 (vol. 6 no. 4)
pp. 320-328
| ASCII Text | x | ||
| A. Celentano, P.D. Vigna, C. Ghezzi, D. Mandrioli, "Separate Compilation and Partial Specification in Pascal," IEEE Transactions on Software Engineering, vol. 6, no. 4, pp. 320-328, July, 1980. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1980.230483, author = {A. Celentano and P.D. Vigna and C. Ghezzi and D. Mandrioli}, title = {Separate Compilation and Partial Specification in Pascal}, journal ={IEEE Transactions on Software Engineering}, volume = {6}, number = {4}, issn = {0098-5589}, year = {1980}, pages = {320-328}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1980.230483}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Separate Compilation and Partial Specification in Pascal IS - 4 SN - 0098-5589 SP320 EP328 EPD - 320-328 A1 - A. Celentano, A1 - P.D. Vigna, A1 - C. Ghezzi, A1 - D. Mandrioli, PY - 1980 KW - type generators KW - Abstract data types KW - information hiding KW - linkers KW - program libraries KW - separate compilation KW - type checkdng VL - 6 JA - IEEE Transactions on Software Engineering ER - | |||
Separate compilation is a useful tool in the development, debugging, testing, and integration of modular systems.
Index Terms:
type generators, Abstract data types, information hiding, linkers, program libraries, separate compilation, type checkdng
Citation:
A. Celentano, P.D. Vigna, C. Ghezzi, D. Mandrioli, "Separate Compilation and Partial Specification in Pascal," IEEE Transactions on Software Engineering, vol. 6, no. 4, pp. 320-328, July 1980, doi:10.1109/TSE.1980.230483
Usage of this product signifies your acceptance of the Terms of Use.