Abstract

The replacement of parts of software systems is an important aspect of programming methodology. Most of the research in this area has centered around support for modular construction and the clear separation of interface from implementation. The emphasis has been on producing easily modified static program structures.

Citations

208	Guardians and actions: linguistic support for robust distributed programs - Liskov, Scheifler - 1983
81	Crash recovery in a distributed data storage system - Lampson, Sturgis - 1976
76	A value transmission method for abstract data types - Herlihy, Liskov - 1982
32	On the updatability of relational views - Dayal, Bernstein - 1979
14	The Notions of Consistency and Predicate Locks in a Relational Database System - Eswaran, Gray, et al. - 1976
13	Foundations of a theory of specification for distributed systems - STARK - 1984
4	Dynamically Modifiable Distributed Systems - Habermann - 1978
3	Locating MigratorY Objects in an Internet - Henderson - 1982
2	Transaction System. forthcoming - Chiu
2	Versions, Authorization, .and Locking in a Relationship Database System - Chainberlin, Gray, et al.
2	to Design A System In Which Modules Can Be Changed On TheFly - Fabry - 1976
2	On the Criteria for ,D ,ecomlxing Systems into Modules - Parhas - 1972
2	Dynamic Re, configuration in a Modular Computer System - Schell - 1971
2	v. .Specification and Implementation of Resilie nt' AtomicDa Types - William, Lisko
2	Abstraction and Verification in ALPHARD: Introduction to Language and MethodologY - wUif, Shaw - 1976