A type-checking program linkage system for pascal

Authors:
R. B. Kieburtz;W. Barabash;C. R. Hill
Affiliations:
-;-;-
Venue:
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Year:
1978

Citing 7
Cited 7

Early experience with Mesa

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
High-level binding with low-level linkers

Communications of the ACM
A technique for software module specification with examples

Communications of the ACM
PASCAL user manual and report

PASCAL user manual and report
Notes on the design of Euclid

Proceedings of an ACM conference on Language design for reliable software
Global variable considered harmful

ACM SIGPLAN Notices

Implementing separate compilations in Pascal

ACM SIGPLAN Notices
A Simple Mechanism for Type Security Across Compilation Units

IEEE Transactions on Software Engineering
Type checking, separate compilation and reusability

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
The impact of mesa on system design

ICSE '79 Proceedings of the 4th international conference on Software engineering
On implementing separate compilation in block-structured languages

SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
An efficient separate compilation strategy for very large programs

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
SIMPLE: A program development system

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a new software facility useful in the development, debugging, and integration of quasi-independent program modules. It has been implemented in conjunction with a Pascal compiler for IBM 360 computers, but the linkage facility is machine-independent up to the point of formattingsystem object modules. With some minor syntactic extensions to permit the designation of external references, Pascal becomes a powerful language for modular programming. The new linkage subsystem allows the compile-time verification of type-correctness of Pascal programs to be extended uniformly across program module interfaces. This extends not only those diagnostics formerly restricted to compilation, but also the post-mortem diagnostic capability of the progranming system, and without sacrifice of run-time efficiency. The paper also discusses several language issues raised in meeting the requirements of modular programming, as well as implementation considerations.