Barbara Liskov
Robert Scheifler
- 1 BIRRELL, A.D., LEVIN, R., NEEDHAM, R.M., AND SCHROEDER, M.D. Grapevine: An exercise in distributed computing. Commun. ACM 25, 4 (Apr. 1982), 260-274. Google Scholar
- 2 BLOOM, T. Dynamic Module Replacement in a Distributed Programming Environment. Ph.D. dissertation, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., to appear.Google Scholar
- 3 BRINCH HANSEN, P. Distributed processes: A concurrent programming concept. Commun. ACM 21, 11 (Nov. 1978), 934-941. Google Scholar
- 4 DAVIES, C.T. Data processing spheres of control. IBM Syst. J. 17, 2 (1978), 179-198.Google Scholar
- 5 DAVIES, C.T., JR. Recovery semantics for a DB/DC system. In Proceedings, ACM 73: Annual Conference, Aug. 1973, pp. 136-141. Google Scholar
- 6 ESWARAN, K.P., GRAY, J.N., LORIE, R.A., AND TRAIGER, I.L. The notions of consistency and predicate locks in a database system. Commun. ACM 19, 11 (Nov. 1976), 624-633. Google Scholar
- 7 FELDMAN, J.A. High level programming for distributed computing. Commun. ACM 22, 6 (June 1979), 353-368. Google Scholar
- 8 GRAY, J.N. Notes on data base operating systems. In Lecture Notes in Computer Science, vol. 60: Operating Systems, An Advanced Course, R. Bayer, R.M. Graham, G. Seegm/iller (Eds.). Springer-Verlag, New York, 1978, pp. 393-481. Google Scholar
- 9 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.). Elsevier North-Holland, New York, 1976.Google Scholar
- 10 GRAY, J., MCJONES, P., BLASGEN, M., LINDSAY, B., LORIE, R., PRICE, T., PUTZOLU, F., AND TRAIOER, I. The recovery manager of the System R database manager. Comput. Surv. (ACM) 13, 2 (June 1981), 223-242. Google Scholar
- 11 HERLIHY, M., AND LISKOV, B. A value transmission method for abstract data types. ACM Trans. Program. Lang. Syst. 4, 4 (Oct. 1982), 527-551. Google Scholar
- 12 HOARE, C.A.R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666-677. Google Scholar
- 13 HOARE, C.A.R. Monitors: An operating system structuring concept. Commun. ACM 17, 10 (Oct. 1974), 549-557. Google Scholar
- 14 LAMPORT, L. Towards a theory of correctness for multi-user data base systems. Rep. CA-7610- 0712, Massachusetts Computer Associates, Wakefield, Mass., Oct. 1976.Google Scholar
- 15 LAMPSO~, B., AND STURCIS, H. Crash recovery in a distributed data storage system. Xerox ?ARC, Palo Alto, Calif., Apr. 1979.Google Scholar
- 16 LISKOV, B. On linguistic support for distributed programs. In Proceedings, IEEE Symposium on Reliability in Distributed Software and Database Systems, Pittsburgh, Pa., July 1981, pp. 53-60.Google Scholar
- 17 LISKOV, B., ATKINSON, R., BLOOM, T., Moss, E., SCHAFFERT, J.C., SCHEIFLER, R., AND SNYDER, A. Lecture Notes in Computer Science, vol. 114: CLU Reference Manual. Springer-Verlag, New York, 1981. Google Scholar
- 18 LISKOV, B., A~D SCHEIFLER, R. Guardians and actions: Linguistic support for robust, distributed programs. In Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages, Albuquerque, N.M., Jan. 25-27, 1982, pp. 7-19. Google Scholar
- 19 LISKOV, B., AND S~YDER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.Google Scholar
- 20 LiSKOV, B., SNYDER, A., ATKINSON, R., AND SCHAFFERT, C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576. Google Scholar
- 21 LISKOV, B., AND ZILLES, $.N. Programming with abstract data types. In Proceedings, ACM SIGPLAN Conference on Very High Level Languages. SIGPLAN Notices (ACM) 9, 4 (Apr. 1974), 50-59. Google Scholar
- 22 LOMET, D. Process structuring, synchronization, and recovery using atomic actions. In Proceedings of an ACM Conference on Language Design for Reliable Software. SIGPLAN Notices (ACM) 12, 2 (Mar. 1977). Google Scholar
- 23 Moss, J.E.B. Nested Transactions: An Approach to Reliable Distributed Computing. Ph.D. dissertation and Tech. Rep. MIT/LCS/TR-260, Laboratory for Computer Science, Massachusetts inst. of Technology, Cambridge, Mass., 1981. Google Scholar
- 24 PRELIMINARY ADA REFERENCE MANUAL. S!GPLAN Notices (ACM) 14, 6 (June 1979), pt. A. Google Scholar
- 25 RANDELL, B. System structure for software fault tolerance. IEEE Trans. Sofiw. Eng. SE-1, 2 (June 1975), 220-232.Google Scholar
- 26 REED, D.P. Naming and Synchronization in a Decentralized Computer System. Ph.D. dissertation and Tech. Rep. MIT/LCS/TR-205, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., 1978. Google Scholar
- 27 ROSENKRANTZ, D.J., STEARNS, R.E., AND LEWIS, P.M., II. System level concurrency control for distributed database systems. ACM Trans. Database Syst. 3, 2 (June 1978), 178-198. Google Scholar
- 28 SHRIVASTAVA, S.K., AND BANATRE, J.P. Reliable resource allocation between unreliable processes. IEEE Trans. Sofiw. Eng. SE-4, 3 (May 1978), 230-240.Google Scholar
- 29 SPECTOR, A.Z. Performing remote operations efficiently on a local computer network. Commun. ACM 25, 4 (Apr. 1982), 246-260. Google Scholar
- 30 WEIHL, W., AND LISKOV, B. Specification and implementation of resilient, atomic data types. Computation Structures Group Memo 223, Laboratory for Computer Science, Massachusetts Inst. of Technology, Cambridge, Mass., Dec. 1982.Google Scholar
Index Terms
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs
Recommendations
Guardians and actions: linguistic support for robust, distributed programs
Concurrency control and reliability in distributed systemsGuardians and actions: linguistic support for robust, distributed programs
POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languagesThis paper presents an overview of an integrated programming language and system designed to support the construction and maintenance of distributed programs: programs in which modules reside and execute at communicating, but geographically distinct, ...
Robust semantic text similarity using LSA, machine learning, and linguistic resources
Semantic textual similarity is a measure of the degree of semantic equivalence between two pieces of text. We describe the SemSim system and its performance in the *SEM 2013 and SemEval-2014 tasks on semantic textual similarity. At the core of our ...
Comments