| Barbara Liskov. Overview of the Argus Language and System. Programming Methodology Group Memo 40, Laboratory For Computer Science, Massachusetts Institute of Tech- nology, February 1984. |
....a highly available tuple space that works in a general communications network. The method involves little delay of workers: a rd waits for only one response, an out does not delay the worker at all, and an in delays the worker only during the first phase. The protocol was simulated using Argus [20] on several VAXstations connected by a local area network. Deliberate failures were generated to simulate the possible failures in a general communications network. The simulation survived the various failures we were able to construct. Our work contributes in the following two areas: The ....
Barbara Liskov. Overview of the Argus Language and System. Programming Methodology Group Memo 40, Laboratory For Computer Science, Massachusetts Institute of Tech- nology, February 1984.
....performs a one time initialization, including dynamic type checking, and then turns itself into the quick version. Our implementation makes extensive use of this self modifying code technique in order to improve performance. A more detailed discussion of the implementation technique is available [BLM96] The presence of subclasses makes ipools substantially more complicated than implementing parametric polymorphism for languages like CLU or ML [MTH90] which are not object oriented. Consider a method call: the compiler and dynamic linker cannot tell which piece of code is run, so they cannot ....
J. Bank, B. Liskov, and A. Myers. Parameterized types and Java. Technical Memo MIT/LCS/TM-553, Massachusetts Institute of Technology, 1996.
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