Liskov, B. "Refinement - From Specification to Implementation the Argus Language and System". In Proc. Advanced Course on Distributed Systems Methods and Tools for Specification, University of Munich (1984). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Using the Flask Architecture to Build Distributed.. - Kirby, Connor, Cutts, .. (1995) (Correct)
....is maintained. The movement of data across store boundaries that preserves sharing can lead to pointer leaking where the closure of an object may reside on a number of stores. To preserve integrity these stores become dependent on each other and hence must be synchronised together. The Argus [Lis84] system is an archetypal example of a federated system that allows a programmer to construct programs as a collection of modules that are executed on different nodes. A guardian is the Argus abstraction for a stable store and encapsulates data and a set of processes that operate on the data. A ....
Liskov, B. "Refinement - From Specification to Implementation the Argus Language and System". In Proc. Advanced Course on Distributed Systems Methods and Tools for Specification, University of Munich (1984).
A Layered Persistent Architecture for Napier88 - Brown, Dearle, Morrison.. (Correct)
....and is powerful enough to support languages with similar type systems. 2 1 Introduction In recent years a range of single programming language systems have been developed that are supported by a persistent store[atk82,atk83b,ros83,bro85,that86,bro89] Examples of such systems include Argus[lis84], Galileo[alb85a] PS algol[psa88] and Smalltalk[gol83] Although each of these systems is based on a subtly different concept of persistence a common approach is to utilise a layered architecture. This paper presents the design of one such layered architecture that can be used to support a ....
Liskov B.H. Refinement - From Specification to Implementation, The Argus Language and System. Lecture Notes for the Advanced Course on Distributed Systems - Methods and Tools for Specification, Institute for Informatics, Technical University of Munich, 1984.
Persistent Object Stores - Brown (1988) (24 citations) (Correct)
....when a PS algol program invokes the standard procedure commit. The retrieval of persistent data is automatically performed as the data is referenced. Thus, any particular persistent object can be retrieved by simply following object references from the appropriate root object. The Argus system[lis84] is an example of how explicit marking can be combined with reachability. Argus identifies persistent data by allowing variables to be declared as stable. That is, persistent data can be explicitly declared by a programmer. Any data that is reachable from a stable variable is made persistent ....
....speed and d) store stability. Each of these issues present problems that have been well known for a number of years and to which many different solutions have been proposed. However, complete systems that attempt to provide a type secure persistent store are relatively recent and few in number[alb85a,lis84,that86]. The four issues will be discussed separately and their development illustrated by reference to a wide range of existing systems. 2.1 Type security The provision of a type secure store requires that all programs operating on the store conform to some predefined rules. These rules are designed to ....
Liskov B.H. Refinement - From Specification to Implementation, The Argus Language and System. Lecture Notes for the Advanced Course on Distributed Systems - Methods and Tools for Specification, Institute for Informatics, Technical University of Munich, 1984.
On the Integration of Concurrency, Distribution and Persistence - Munro (1993) (4 citations) (Correct)
....is that it provides, by default, a one world model where a user can manipulate data and execute threads without knowledge of locality. The programmer can make use of constructs that expose locality allowing the explicit movement of data or placement of process execution. 6.2.4. 2 Argus The Argus [Lis84] system is an archetypal example of a federated system that allows a programmer to construct programs into a collection of modules that are executed on different nodes. A guardian is the Argus abstraction for an stable store and encapsulates data and a set of processes that operate on the data. A ....
Liskov, B.H. "Refinement - From Specification to Implementation, The Argus Language and System". Lecture Notes for the Advanced Course on Distributed Systems - Methods and Tools for Specification, Institute for Informatics, Technical University of Munich, 1984.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC