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
|
194
|
Guardians and actions: Linguistic support for robust, distributed programs
– Liskov, Scheifler
- 1983
|
|
80
|
A value transmission method for abstract data types
– HERLIHY, LISKOV
- 1982
|
|
80
|
Crash Recovery in a Distributed Data Storage System
– Lampson, Sturgis
- 1976
|
|
29
|
On the Updatability of Relational Views
– Dayal, Bernstein
- 1978
|
|
13
|
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
|