The Binding Model: A Semantic Base for Modular Programming Systems
Abstract
A programming system is a computer system which supports a community of programmers who can make use of one another's work. A module is a (possibly complex) construction usually comprising both programs and data which will provide some service. A programming system is said to be modular if modules can be constructed within the system from existing modules using only knowledge about the behaviour of those existing modules. In such a system: mechanisms must exist which permit any module to be used by any other (the system must be flexible); modules must be responsible for supplying all the modules they need in order to realize their behaviours (modules must be self-sufficient); modules must not conflict with one another when used together (sets of modules must be compatible); and module behaviour must be independent of the identity of the modules which invoke the modules (modules must be non-discriminatory). The Binding Model is an abstract machine designed as an 'ideal' kernel for modular programming systems.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1975
- Accession Number
- ADA006961
Entities
People
- D. A. Henderson Jr.
Organizations
- Massachusetts Institute of Technology