Towards monolingual programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Introduction to compiler construction with UNIX
Introduction to compiler construction with UNIX
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
The C programming language
Dynamic binding of separately compiled objects under program control
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages
On implementing separate compilation in block-structured languages
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
CLU REFERENCE MANUAL
PS-algol: an algol with a persistent heap
ACM SIGPLAN Notices
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
Hi-index | 0.00 |
Dynamic binding is a facility usually found only in weakly typed languages. A strongly typed, block-structured language can, however, also support dynamic binding if its implementation is modified according to a set of widely applicable principles. The result of applying these principles to a strongly typed base language is a language that has much of the flexibility of weakly typed languages without requiring extensive run-time type checking.The primary principles in this general approach to adding dynamic binding to a language are providing separate compilation for the units of dynamic binding, establishing a link between a name in one unit and its implementation in another, and assuring that programs using dynamic binding remain consistent during their execution. There are different methods for implementing each of these principles; two languages to which dynamic binding has been added serve to illustrate some of the alternatives.