PASCAL user manual and report
A type-checking program linkage system for pascal
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Extensions to PASCAL for separate compilation
ACM SIGPLAN Notices
Support for dynamic binding in strongly typed languages
ACM SIGPLAN Notices
Dynamic binding of separately compiled objects under program control
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
An efficient separate compilation strategy for very large programs
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
The Poe language-based editor project
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Hi-index | 0.00 |
Perhaps the single most important paradigm of modern programming language design is block structure. Block-structured languages are characterized by nested definitional units (ALGOL blocks, PASCAL procedures, Euclid modules) having rather specialized scoping rules. In particular, access to entities defined in containing units is allowed (although sometimes with restrictions) while access to entities defined within a unit from outside it is severely restricted or totally forbidden. This method of programming language structuring supports a top-down program development methodology: the body of a definition unit can be developed (or modified) without affecting other units (since its internal details are “hidden” from the outside). Such units (most notably procedures) become the natural units of program development and modification.