Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Argus—a programming language and system developed to support the implementation and execution of distributed programs—provides mechanisms that help programmers cope with the special problems that arise in distributed programs, such as network partitions and crashes of remote nodes.

REFERENCES

• 1: Andrews, G.R., and Olsson, R.A. The evolution of the SR language. Distrib. Comput. 1, 2 (Apr. 1986). Also Tech. Rep. 85-22, Univ. of Arizona, Tucson, Ariz., Oct. 1985.
• 2: Davies, C.T. Data processing spheres of control. IBM Syst. J. 12, 2 (1978), 179-198.
• 3: Jim Gray, Notes on Data Base Operating Systems, Operating Systems, An Advanced Course, p.393-481, January 1978
• 4: Gray, J.N., Lorie, R.A., Putzolu, G.F., and Traiger, I.L. Granularity of locks and degrees of consistency in a shared data base. In Modeling in Data Base Management Systems. G.M. Nijssen, Ed. North Holland, Am~terdam, 1976.
• 5: Irene Greif , Robert Seliger , William Weihl, A Case Study of CES: A Distributed Collaborative Editing System Implemented in Argus, IEEE Transactions on Software Engineering, v.18 n.9, p.827-839, September 1992 [doi>10.1109/32.159831]
• 6: Hayes, B. Computer recreations: On the ups and downs of hailstone numbers. Scientif. Amer. 250, 1 (Jan. 1984).
• 7: Herlihy, M., and Wing, J. Avalon: Language support for reliable distributed systems. In Proceedings of the 17th International Symposium on Fault-Tolerant Computing, (Pittsburgh, Pa., July). IEEE, New York, 1987.
• 8: Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
• 9: Lampson, B.W., and Sturgis, H.E. Crash recovery in a distributed data storage system. Tech. Rep. Xerox Research Center, Pa}o Alto, Calif., 1979.
• 10: Liskov B. Overview of the Argus language and system. Programming Methodology Group Memo 40. M.I.T. Laboratory for Computer Science, Cambridge, Mass., Feb. 1984.
• 11: B. Liskov , M. Day , M. Herlihy , P. Johnson , G. Leavens, ARGUS REFERENCE MANUAL, Massachusetts Institute of Technology, Cambridge, MA, 1987
• 12: B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.111-122, November 08-11, 1987, Austin, Texas, United States
• 13: Barbara Liskov, Abstraction and specification in program development, MIT Press, Cambridge, MA, 1986
• 14: Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983 [doi>10.1145/2166.357215]
• 15: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 16: Mitchell, J.G., Maybury, W., and Sweet, R. Mesa language manual version 5.0. Tech. Rep. GSL-79-3. Xerox Research Center, Palo Alto, Calif., 1979.
• 17: J. E.B. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, Cambridge, MA, 1985
• 18: Erik T. Mueller , Johanna D. Moore , Gerald J. Popek, A nested transaction mechanism for LOCUS, Proceedings of the ninth ACM symposium on Operating systems principles, p.71-89, October 10-13, 1983, Bretton Woods, New Hampshire, United States
• 19: Spector, A.Z., et al. Camelot: A distributed transaction facility for Mach and the lnternet--An interim report. Tech. Rep. CMU-CS-87-129. Dept. of Computer Science, Carnegie Mellon University, Pittsburgh, Pa., 1987.
• 20: William Weihl , Barbara Liskov, Implementation of resilient, atomic data types, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.244-269, April 1985 [doi>10.1145/3318.3319]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Distributed databases

Additional Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
  C.4 PERFORMANCE OF SYSTEMS
      Subjects: Reliability, availability, and serviceability

  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: ARGUS
      D.3.3 Language Constructs and Features
          Subjects: Abstract data types; Concurrent programming structures
  D.4 OPERATING SYSTEMS
      D.4.7 Organization and Design
          Subjects: Distributed systems

General Terms:
Design, Languages, Reliability