Article

Free access

Islands: aliasing protection in object-oriented languages

Author:

John HoggAuthors Info & Claims

OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications

Pages 271 - 285

https://doi.org/10.1145/117954.117975

Published: 01 November 1991 Publication History

PDF eReader

References

[1]

Pierre America and Frank de Boer. A sound and complete proof system for SPOOL. Technical Report 505, Philips Research Laboratories, May 1990.

Google Scholar

[2]

Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366-411, 1989.

Crossref

Google Scholar

[3]

Kent Beck and Ward Cunningham. A laboratory for teaching object-oriented thinking. In OOPSLA '89 Proceedings, pages 1-6, October 1989.

Digital Library

Google Scholar

[4]

Hans-Juergen Boehm. A logic for the Russell programming language. Technical Report TR 84-593, Ph.D. thesis, Cornell University, February 1984.

Digital Library

Google Scholar

[5]

Stephen A. Cook. Soundness and completeness of an axiom system for program verification. SIAM Journal of Computing, 7( 1):70-90, February 1978.

Google Scholar

[6]

Adele Goldberg and David Robsoil. Smalltalk-80: The Language and its Implementation. Addison- Wesley, 1983.

Digital Library

Google Scholar

[7]

Richard C. Holt, Philip A. Matthews, J. Alan Rosselet, and James R. Cordy. The Turing Language: Design and Definition. Prentice-Hall, 1988.

Digital Library

Google Scholar

[8]

John S. Hogg. Formal Semantics of Opaque Objects in the Presence of Aliasing. PhD thesis, University of Toronto, 1991. (to appear).

Google Scholar

[9]

Barbara Liskov and John Guttag. Abstraction and Specification in Program Development. MIT Press, 1986.

Digital Library

Google Scholar

[10]

John M. Lucassen and David K. Gifford. Polymorphic effect systems. In Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 47-57, January 1988.

Digital Library

Google Scholar

[11]

Bertrand Meyer. Object-oriented Software Construction. Prentice-Hall, 1988.

Digital Library

Google Scholar

[12]

John C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, January 1978.

Digital Library

Google Scholar

[13]

Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.

Digital Library

Google Scholar

[14]

Peter Wegner. Dimensions of objectbased language design. In OOPSLA '87 Proceedings, October 1987.

Digital Library

Google Scholar

Cited By

View all

Noble JMackay JWrigstad TFawcet AHomer MDi Stefano L(2024)Dafny vs. Dala: Experience with Mechanising Language DesignProceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3678721.3686228(37-43)Online publication date: 20-Sep-2024
https://dl.acm.org/doi/10.1145/3678721.3686228
Xu YBoruch-Gruszecki AOdersky M(2024)Degrees of Separation: A Flexible Type System for Safe ConcurrencyProceedings of the ACM on Programming Languages10.1145/36498538:OOPSLA1(1181-1207)Online publication date: 29-Apr-2024
https://doi.org/10.1145/3649853
Arvidsson ECastegren EClebsch SDrossopoulou SNoble JParkinson MWrigstad T(2023)Reference Capabilities for Flexible Memory ManagementProceedings of the ACM on Programming Languages10.1145/36228467:OOPSLA2(1363-1393)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622846
Show More Cited By

Index Terms

Islands: aliasing protection in object-oriented languages
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Procedures, functions and subroutines
      2. Language types
        Object oriented languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Functional constructs

Recommendations

What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...
Satellite remote sensing of Spratly Islands using SAR
Satellite observations of the atmosphere, ocean and their interface in relation to climate, natural hazards and management of the coastal zone

Spratly Islands, located in the southern part of the South China Sea (SCS), consist of more than 100 small islands, coral reefs and banks. Remote sensing is the only way to obtain a synoptic view of all of the islands in such a large area. It has been ...
Computer analysis of coastal ocean features in synthetic aperture radar imagery (japan, gotoh islands)

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications

November 1991

384 pages

ISBN:0201554178

DOI:10.1145/117954

Editor:
Andreas Paepcke

ACM SIGPLAN Notices Volume 26, Issue 11
Nov. 1991
362 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/118014
Editor:
Andreas Paepcke
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA 91

Sponsor:

SIGPLAN

OOPSLA 91: Object Orientated Programming Systems and Applications

October 6 - 11, 1991

Arizona, Phoenix, USA

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

230
Total Citations
View Citations
1,159
Total Downloads

Downloads (Last 12 months)171
Downloads (Last 6 weeks)29

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Noble JMackay JWrigstad TFawcet AHomer MDi Stefano L(2024)Dafny vs. Dala: Experience with Mechanising Language DesignProceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3678721.3686228(37-43)Online publication date: 20-Sep-2024
https://dl.acm.org/doi/10.1145/3678721.3686228
Xu YBoruch-Gruszecki AOdersky M(2024)Degrees of Separation: A Flexible Type System for Safe ConcurrencyProceedings of the ACM on Programming Languages10.1145/36498538:OOPSLA1(1181-1207)Online publication date: 29-Apr-2024
https://doi.org/10.1145/3649853
Arvidsson ECastegren EClebsch SDrossopoulou SNoble JParkinson MWrigstad T(2023)Reference Capabilities for Flexible Memory ManagementProceedings of the ACM on Programming Languages10.1145/36228467:OOPSLA2(1363-1393)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622846
Guérin SChampeau JBeugnard AMartínez S(2023)Monitoring Association Constraints in Model-Oriented Programming2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00068(375-380)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00068
Webster NServetto MHomer M(2022)Using Functional Reactive Programming to Define Safe Actor SystemsProceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3611096.3611098(4-10)Online publication date: 7-Jun-2022
https://dl.acm.org/doi/10.1145/3611096.3611098
Milano MTurcotti JMyers AJhala RDillig I(2022)A flexible type system for fearless concurrencyProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523443(458-473)Online publication date: 9-Jun-2022
https://dl.acm.org/doi/10.1145/3519939.3523443
Fernandez-Reyes KGariano INoble JGreenwood-Thessman EHomer MWrigstad TDe Meuter WBaniassad E(2021)Dala: a simple capability-based dynamic language design for data race-freedomProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3486607.3486747(1-17)Online publication date: 20-Oct-2021
https://dl.acm.org/doi/10.1145/3486607.3486747
Pearce D(2021)A Lightweight Formalism for Reference Lifetimes and Borrowing in RustACM Transactions on Programming Languages and Systems10.1145/344342043:1(1-73)Online publication date: 17-Apr-2021
https://dl.acm.org/doi/10.1145/3443420
Kande NNitta N(2021)A Method to Comprehend Feature Dependencies Based on Semi-Static Structures2021 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME52107.2021.00020(148-158)Online publication date: Sep-2021
https://doi.org/10.1109/ICSME52107.2021.00020
Li BDoppa JPande PChakrabarty KQiu JLi H(2020)3D-ReGACM Journal on Emerging Technologies in Computing Systems10.1145/337569916:2(1-24)Online publication date: 30-Jan-2020
https://dl.acm.org/doi/10.1145/3375699
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.

Cited By

Index Terms

Recommendations

What Is Object-Oriented Programming?

Satellite remote sensing of Spratly Islands using SAR

Computer analysis of coastal ocean features in synthetic aperture radar imagery (japan, gotoh islands)