A Type-Checking Program Linkage System for Pascal

Richard B. Kieburtz, W. Barabash, C. R. Hill. A Type-Checking Program Linkage System for Pascal. In Maurice V. Wilkes, Laszlo A. Belady, Y. H. Su, Harry Hayman, Philip H. Enslow Jr., editors, Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, USA, May 10-12, 1978. pages 23-28, IEEE Computer Society, 1978.

@inproceedings{KieburtzBH78,
  title = {A Type-Checking Program Linkage System for Pascal},
  author = {Richard B. Kieburtz and W. Barabash and C. R. Hill},
  year = {1978},
  tags = {type system, C++, type checking, Pascal},
  researchr = {https://researchr.org/publication/KieburtzBH78},
  cites = {0},
  citedby = {0},
  pages = {23-28},
  booktitle = {Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, USA, May 10-12, 1978},
  editor = {Maurice V. Wilkes and Laszlo A. Belady and Y. H. Su and Harry Hayman and Philip H. Enslow Jr.},
  publisher = {IEEE Computer Society},
}