article

Open access

A Value Transmission Method for Abstract Data Types

Editor: Susan L. Graham Authors:

Maurice P. Herlihy,

Barbara LiskovAuthors Info & Claims

ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 4, Issue 4

Pages 527 - 551

https://doi.org/10.1145/69622.357182

Published: 01 October 1982 Publication History

PDF eReader

References

[1]

CLARK, D.W. Copying list structures without auxiliary storage. Tech. Rep., Carnegie-Mellon Univ., Pittsburgh, Pa., Oct. 1975.

Google Scholar

[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.

Crossref

Google Scholar

[3]

FEINLER, E., AND POSTEL, J. Arpanet Protocol Handbook. Network Information Center, SRI International, Menlo Park, Calif., Jan. 1978.

Google Scholar

[4]

FISHER, D.A. Copying cyclic structures in linear time using bounded workspace. Commun. ACM 18, 5 (May 1975), 251-253.

Crossref

Google Scholar

[5]

GUTTAG, J.V., AND HORNING, J.J. The algebraic specification of abstract data types. Acta Inf. 10 (1978), 27-52.

Google Scholar

[6]

HABERMANN, N. Dynamically modifiable distributed systems. Proc. Distributed Sensor Net Workshop, Pittsburgh, Pa., Dec. 1978, pp. 111-114.

Google Scholar

[7]

HERLmY, M. Transmitting abstract values in messages. Tech. Rep. MIT/LCS/TR-234, Laboratory for Computer Science, M.I.T., Cambridge, Mass., May 1980.

Crossref

Google Scholar

[8]

HOARE, C.A.R. Proof of correctness of data representation. Acta Inf. I (1972), 271-281.

Google Scholar

[9]

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.

Crossref

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

[12]

LmKov, B.H., AND SCHEIFLER, R.W. Guardians and actions: Linguistic support for robust, distributed programs. Proc. 9th Ann. ACM Symp. on Principles of Programming Languages, Albuquerque, N.M., Jan. 1982, pp. 7-19.

Crossref

Google Scholar

[13]

LmKov, B.H., A~O SNYOER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 546-558.

Google Scholar

[14]

LIsKov, B.H., SNYDER, A., ATKINSON, R.R., AND SCHArFERT, J.C. Abstraction mechanisms in CLU. Commun. ACM 20, 8 (Aug. 1977), 564-576.

Crossref

Google Scholar

[15]

LIsI~ov, B.H., Argo 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.

Crossref

Google Scholar

[16]

Moo~q, D.A. MacLISP Reference Manual, Revision O. Project MAC, M.I.T., Cambridge, Mass., Apr. 1974.

Google Scholar

[17]

PRELIMXNARY ADA REFERENCE MANUAL. SIGPLAN Notices (ACM) 14, 6 (June 1979).

Crossref

Google Scholar

[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.

Google Scholar

[19]

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.

Crossref

Google Scholar

Cited By

View all

Cao SHe BSun XOuyang YZhang CWu XSu TBo LLi BMa CLi JWei T(2023)ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179377(2726-2743)Online publication date: May-2023
https://doi.org/10.1109/SP46215.2023.10179377
Cao SSun XWu XBo LLi BWu RLiu WHe BOuyang YLi JGrundy JPollock LPenta M(2023)Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object GenerationProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00044(397-409)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00044
Wang YDong YTan GBellavista PZhang KGherbi ABagchi SPatiño MDi Modica GGascon-Samson J(2022)ROS-SFProceedings of the 23rd ACM/IFIP International Middleware Conference10.1145/3528535.3531518(82-93)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3528535.3531518
Show More Cited By

Index Terms

A Value Transmission Method for Abstract Data Types
1. Computer systems organization
  1. Architectures
    1. Distributed architectures
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Abstract data types
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Communications management
        Input / output
        Message passing
    2. Software system structures
      1. Distributed systems organizing principles

Recommendations

Polymorphic type inference and abstract data types
Polymorphic type inference and abstract data types

Many statically typed programming languages provide an abstract data type construct, such as the module in Modula-2. However, in most of these languages, implementations of abstract data types are not first-class values. Thus, they cannot be assigned to ...
Contractive signatures with recursive types, type parameters, and abstract types
ICALP'13: Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II

Although theories of equivalence or subtyping for recursive types have been extensively investigated, sophisticated interaction between recursive types and abstract types has gained little attention. The key idea behind type theories for recursive types ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems Volume 4, Issue 4

Oct. 1982

236 pages

ISSN:0164-0925

EISSN:1558-4593

DOI:10.1145/69622

Editor:
Susan L. Graham

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1982

Published in TOPLAS Volume 4, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

142
Total Citations
View Citations
1,156
Total Downloads

Downloads (Last 12 months)249
Downloads (Last 6 weeks)36

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cao SHe BSun XOuyang YZhang CWu XSu TBo LLi BMa CLi JWei T(2023)ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179377(2726-2743)Online publication date: May-2023
https://doi.org/10.1109/SP46215.2023.10179377
Cao SSun XWu XBo LLi BWu RLiu WHe BOuyang YLi JGrundy JPollock LPenta M(2023)Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object GenerationProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00044(397-409)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00044
Wang YDong YTan GBellavista PZhang KGherbi ABagchi SPatiño MDi Modica GGascon-Samson J(2022)ROS-SFProceedings of the 23rd ACM/IFIP International Middleware Conference10.1145/3528535.3531518(82-93)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3528535.3531518
Rasheed SDietrich JGrundy JLe Goues CLo D(2020)A hybrid analysis to detect Java serialisation vulnerabilitiesProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3418931(1209-1213)Online publication date: 21-Dec-2020
https://dl.acm.org/doi/10.1145/3324884.3418931
Wang YHu XZou ZTan WTan G(2019)IVT: an efficient method for sharing subtype polymorphic objectsProceedings of the ACM on Programming Languages10.1145/33605563:OOPSLA(1-22)Online publication date: 10-Oct-2019
https://dl.acm.org/doi/10.1145/3360556
Honda MLettieri GEggert LSantry DSeshan SBanerjee S(2018)PASTEProceedings of the 15th USENIX Conference on Networked Systems Design and Implementation10.5555/3307441.3307444(17-33)Online publication date: 9-Apr-2018
https://dl.acm.org/doi/10.5555/3307441.3307444
Gadiraju U(2018)"A new age of search systems" by Ujwal Gadiraju with Martin Vesely as coordinatorACM SIGWEB Newsletter10.1145/3266231.32662352018:Summer(1-11)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1145/3266231.3266235
Hargood C(2018)The narrative and hypertext workshop series and the value of workshops to research communitiesACM SIGWEB Newsletter10.1145/3266231.32662332018:Summer(1-6)Online publication date: 4-Sep-2018
https://dl.acm.org/doi/10.1145/3266231.3266233
Chiba SZhuang YScherr MZheng YBinder WTůma P(2016)Deeply Reifying Running Code for Constructing a Domain-Specific LanguageProceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools10.1145/2972206.2972219(1-12)Online publication date: 29-Aug-2016
https://dl.acm.org/doi/10.1145/2972206.2972219
McPherson ANagarajan VSarkar SCintra M(2015)Fence placement for legacy data-race-free programs via synchronization read detectionACM SIGPLAN Notices10.1145/2858788.268852450:8(249-250)Online publication date: 24-Jan-2015
https://dl.acm.org/doi/10.1145/2858788.2688524
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Polymorphic type inference and abstract data types

Polymorphic type inference and abstract data types

Contractive signatures with recursive types, type parameters, and abstract types

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations