A Value Transmission Method for Abstract Data Types

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Value Transmission Method for Abstract Data Types

Full text

Pdf (1.63 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 4 , Issue 4 (October 1982) table of contents

Pages: 527 - 551

Year of Publication: 1982

ISSN:0164-0925

Authors

Maurice P. Herlihy	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
Barbara Liskov	Laboratory for Computer Science, Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 46, Citation Count: 50

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/69622.357182 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	CLARK, D.W. Copying list structures without auxiliary storage. Tech. Rep., Carnegie-Mellon Univ., Pittsburgh, Pa., Oct. 1975.
	2	R. S. Fabry, How to design a system in which modules can be changed on the fly, Proceedings of the 2nd international conference on Software engineering, p.470-476, October 13-15, 1976, San Francisco, California, United States
	3	FEINLER, E., AND POSTEL, J. Arpanet Protocol Handbook. Network Information Center, SRI International, Menlo Park, Calif., Jan. 1978.
	4	David A. Fisher, Copying cyclic list structures in linear time using bounded workspace, Communications of the ACM, v.18 n.5, p.251-252, May 1975 [doi>10.1145/360762.360764]
	5	GUTTAG, J.V., AND HORNING, J.J. The algebraic specification of abstract data types. Acta Inf. 10 (1978), 27-52.
	6	HABERMANN, N. Dynamically modifiable distributed systems. Proc. Distributed Sensor Net Workshop, Pittsburgh, Pa., Dec. 1978, pp. 111-114.
	7	M. P. Herlihy, TRANSMITTING ABSTRACT VALUES IN MESSAGES, Massachusetts Institute of Technology, Cambridge, MA, 1980
	8	HOARE, C.A.R. Proof of correctness of data representation. Acta Inf. I (1972), 271-281.
	9	D. Kapur, TOWARDS A THEORY FOR ABSTRACT DATA TYPES, Massachusetts Institute of Technology, Cambridge, MA, 1980
	10	LmKov, B.H. On linguistic support for distributed programs. Proc. Symp. on Reliability in Distributed Software and Data Base Systems, Pittsburgh, Pa., July 1981, pp. 53-60.
	11	LmKov, B.H., ATKINSON, R.A., BLOOM, T., Moss, J.E., SCHAFFERT, J.C., SCHEIFLER, a.w., A~'O SNYDER, A. CL U Reference Manual, Lecture Notes in Computer Science 114. Springer-Verlag, New York, 1981.
	12	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582155]
	13	LmKov, B.H., A~O SNYOER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.
	14	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]
	15	Barbara Liskov , Stephen Zilles, Programming with abstract data types, Proceedings of the ACM SIGPLAN symposium on Very high level languages, p.50-59, March 28-29, 1974, Santa Monica, California, United States
	16	Moo~q, D.A. MacLISP Reference Manual, Revision O. Project MAC, M.I.T., Cambridge, Mass., Apr. 1974.
	17	J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979 [doi>10.1145/956650.956651]
	18	SCHANTZ, R.E., ANn MILLSTEIN, R.E. The foreman: Providing the program execution environment for the national software works. Tech. Rep. No. 3442, BBN, Jan. 1977.
	19	K. R. Sollins, COPYING COMPLEX STRUCTURES IN A DISTRIBUTED SYSTEM, Massachusetts Institute of Technology, Cambridge, MA, 1979

CITED BY 50

	Phillip Bogle , Barbara Liskov, Reducing cross domain call overhead using batched futures, ACM SIGPLAN Notices, v.29 n.10, p.341-354, Oct. 1994
	Mick Jordan, An extensible programming environment for Modula-3, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.66-76, Dec. 1990
	Atsushi Ohori , Kazuhiko Kato, Semantics for communication primitives in a polymorphic language, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.99-112, March 1993, Charleston, South Carolina, United States
	Olaf Bachmann , Hans Schönemann , Simon Gray, A proposal for syntactic data integration math protocols, Proceedings of the second international symposium on Parallel symbolic computation, p.165-175, July 20-22, 1997, Maui, Hawaii, United States
	Eric C. Cooper, Replicated procedure call, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.220-232, August 27-29, 1984, Vancouver, British Columbia, Canada
	Gordon S. Novak, Jr., Software Reuse by Specialization of Generic Procedures through Views, IEEE Transactions on Software Engineering, v.23 n.7, p.401-417, July 1997
	Eric C. Cooper, Replicated distributed programs, ACM SIGOPS Operating Systems Review, v.19 n.5, p.63-78, Dec. 1-4, 1985
	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
	Sunil K. Sarin , Irene Greif, Software for interactive on-line conferences, ACM SIGOA Newsletter, v.5 n.1-2, p.46-58, June 25-27, 1984
	Robert E. Strom , Shaula Yemini, NIL: An integrated language and system for distributed programming, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.73-82, June 27-29, 1983, San Francisco, California, United States
	Graham Hamilton , Michael L. Powell , James G. Mitchell, Subcontract: a flexible base for distributed programming, ACM SIGOPS Operating Systems Review, v.27 n.5, p.69-79, Dec. 1993
	Mark S. Day, Replication, reconfiguration, and the Argus mail repository, Proceedings of the 2nd workshop on Making distributed systems work, p.1-4, September 08-10, 1986, Amsterdam, Netherlands
	Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy, Object structure in the Emerald system, ACM SIGPLAN Notices, v.21 n.11, p.78-86, Nov. 1986
	Barbara Liskov, A history of CLU, ACM SIGPLAN Notices, v.28 n.3, p.133-147, March 1993
	Jack C. Wileden , Alexander L. Wolf , William R. Rosenblatt , Peri L. Tarr, Specification-level interoperability, Communications of the ACM, v.34 n.5, p.72-87, May 1991
	Fabian Breg , Constantine D. Polychronopoulos, Java virtual machine support for object serialization, Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, p.173-180, June 2001, Palo Alto, California, United States
	Eric Jul , Henry Levy , Norman Hutchinson , Andrew Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.109-133, Feb. 1988
	David K. Gifford , Nathan Glasser, Remote pipes and procedures for efficient distributed communication, ACM Transactions on Computer Systems (TOCS), v.6 n.3, p.258-283, Aug. 1988
	B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, v.23 n.7, p.260-267, July 1988
	J. C. Wileden , Alexander L. Wolf , W. R. Rosenblatt , P. L. Tarr, Specification level interoperability, Proceedings of the 12th international conference on Software engineering, p.74-85, March 26-30, 1990, Nice, France
	DeQing Chen , Chunqiang Tang , Brandon Sanders , Sandhya Dwarkadas , Michael L. Scott, Exploiting high-level coherence information to optimize distributed shared state, ACM SIGPLAN Notices, v.38 n.10, October 2003
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
	James M. Purtilo, The POLYLITH software bus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.1, p.151-174, Jan. 1994
	B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, ACM SIGOPS Operating Systems Review, v.21 n.5, p.111-122, Nov. 1987
	Mark Sherman, Paragon: Novel uses of type hierarchies for data abstraction, Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.208-217, January 15-18, 1984, Salt Lake City, Utah, United States
	David Alex Lamb, IDL: sharing intermediate representations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.297-318, July 1987
	Irene Greif , Sunil Sarin, Data sharing in group work, ACM Transactions on Information Systems (TOIS), v.5 n.2, p.187-211, April 1987
	Mark J. Maybee , Dennis M. Heimbigner , Leon J. Osterweil, Multilanguage interoperability in distributed systems, Proceedings of the 18th international conference on Software engineering, p.451-463, March 25-29, 1996, Berlin, Germany
	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico
	Valdis Berzins , Michael Gray , David Naumann, Abstraction-based software development, Communications of the ACM, v.29 n.5, p.402-415, May 1986
	David Evers , Peter Robinson, Modula-3 network objects over ANSA: heterogeneous object-based RPC in a modern systems programming language, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Patrícia Gomes Soares, On remote procedure call, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	Douglas Wiebe, A distributed repository for immutable persistent objects, ACM SIGPLAN Notices, v.21 n.11, p.453-465, Nov. 1986
	James W. Stamos , David K. Gifford, Implementing Remote Evaluation, IEEE Transactions on Software Engineering, v.16 n.7, p.710-722, July 1990
	Roberto Bisiani , Alessandro Forin, Multilanguage Parallel Programming of Heterogeneous Machines, IEEE Transactions on Computers, v.37 n.8, p.930-945, August 1988
	Gordon S. Novak, Jr., Conversion of Units of Measurement, IEEE Transactions on Software Engineering, v.21 n.8, p.651-661, August 1995
	K. Ravindran , S. T. Chanson, Failure Transparency in Remote Procedure Calls, IEEE Transactions on Computers, v.38 n.8, p.1173-1187, August 1989
	Barbara Liskov, A history of CLU, History of programming languages---II, ACM Press, New York, NY, 1996
	Robert I. Winner , Edward M. Carter, Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
	Stephen McCamant , Michael D. Ernst, Predicting problems caused by component upgrades, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	Gordon S. Novak, Jr. , Fredrick N. Hill , Man-Lee Wan , Brian G. Sayrs, Negotiated Interfaces for Software Reuse, IEEE Transactions on Software Engineering, v.18 n.7, p.646-653, July 1992
	Gordon S. Novak Jr., Creation of Views for Reuse of Software with Different Data Representations, IEEE Transactions on Software Engineering, v.21 n.12, p.993-1005, December 1995
	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
	James W. Stamos , David K. Gifford, Remote evaluation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.4, p.537-564, Oct. 1990
	Roger Riggs , Jim Waldo , Ann Wollrath , Krishna Bharat, Pickling state in the java^TM system, Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS), p.19-19, June 17-21, 1996, Toronto, Ontario, Canada
	Prawee Sriplakich , Xavier Blanc , Marie-Pierre Gervais, Supporting transparent model update in distributed CASE tool integration, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Manfred Stadel, Object oriented programming techniques to replace software components on the fly in a running program, ACM SIGPLAN Notices, v.26 n.1, p.99-108, Jan. 1991
	David E. Gay, Interface definition language conversions: recursive types, ACM SIGPLAN Notices, v.29 n.8, p.101-110, Aug. 1994
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993
	Andreas Rossberg , Guido Tack , Leif Kornstaedt, Status report: hot pickles, and how to serve them, Proceedings of the 2007 workshop on Workshop on ML, October 05-05, 2007, Freiburg, Germany