A Value Transmission Method for Abstract Data Types

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 4, Issue 4, 1982, Pages 527-551

  Herlihy, Maurice P ^a   Liskov, Barbara ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

call by value; long term storage; Message communications

Indexed keywords

EID: 84976706598     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/69622.357182     Document Type: Article

References (20)

1. Clark, D. W. Copying list structures without auxiliary storage. Tech. Rep., Carnegie-Mellon Univ., Pittsburgh, Pa., Oct. 1975.
2. FABRY, R. S. How to design a system in which modules can be changed on the fly. Proc. 2nd Int. Conf. on Software Engineering, San Francisco, Calif., Oct. 1976, pp. 470-477.
3. Feinler, E., and Postel, J. Arpanet Protocol Handbook. Network Information Center, SRI International, Menlo Park, Calif., Jan. 1978.
4. Fisher, D. A. Copying cyclicstructures in linear time using bounded workspace. Commun. ACM 18, 5 (May 1975), 251-253.
5. Guttag, J. V., 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. Herlihy, U. Transmitting abstract values in messages. Tech. Rep. MIT/LCS/TR-234, Laboratory for Computer Science, M. I. T., Cambridge, Mass., May 1980.
8. Hoare, C. A. R. Proof of correctness of data representation. Acta Inf. 1 (1972), 271-281.
9. ACM Transactionson Programming Languages and Systems, Vol. 4, No. 4, October 1982.
10. Kapur, D. Towards a theory for abstract data types. Tech. Rep. MIT/LCS/TR-237, Laboratory for Computer Science, M. I. T., Cambridge, Mass., May 1980.
11. Liskov, B. H. On linguistic support for distributed programs. Proc. Syrup. on Reliability in Distributed Software and Data Base Systems, Pittsburgh, Pa., July 1981, pp. 53-60.
12. Liskov, B. H., Atkinson, R. A., Bloom, T., Moss, J. E., Schaffert, J. C., Scheifler, R. W., and Snyder, A. CLU Reference Manual, Lecture Notes in Computer Science 114. Springer-Verlag, New York, 1981.
13. Liskov, B. H., and Scheifler, R. W. Guardians and actions: Linguistic support for robust, distributed programs. Proc. 9th Ann. ACM Syrup. on Principles of Programming Languages, Albuquerque, N. M., Jan. 1982, pp. 7-19.
14. Liskov, B. H., and Snyder, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.
15. Liskov, B. H., Snyder, A., Atkinson, R. R., and Schaffert, J. C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.
16. Liskov, B. H., and Zilles, S. N. Programming with abstract data types. Proc. ACM-SIGPLAN Conf. on Very High Level Languages, SIGPLAN Notices (ACM) 9, 4 (Apr. 1974), 50-59.
17. Moon, D. A. MacLisp Reference Manual, Revision 0. Project MAC, M. I. T., Cambridge, Mass., Apr. 1974.
18. Preliminaryada Reference Manual. Sigplan Notices (ACM) 14, 6 (June 1979).
19. Schantz, R. E., and Millstein, R. E. The foreman: Providing the program execution environment for the national software works. Tech. Rep. No. 3442, BBN, Jan. 1977.
20. Sollins, K. Copying complex structures in a distributed system. Tech. Rep. MIT/LCS/TR-219, Laboratory for Computer Science, M. I. T., Cambridge, Mass., May 1979.