Student or educator? Sign up with your school email and get 6 months of Pro free.
CoChat
Sign Up
Cited by 580

The DOI matches its Crossref record; 18 of the 18 references it cites were found in a registry or an index.

Ownership types for flexible alias protection

Open access
Clarke, David G., Potter, John M., Noble, James·1998·Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
DOI 10.1145/286936.286947
Open this paper in CoChat — free account

Abstract

Object-oriented programming languages allow inter-object aliasing. Although necessary to construct linked data structures and networks of interacting objects, aliasing is problematic in that an aggregate object's state can change via an alias to one of its components, without the aggregate being aware of any aliasing.Ownership types form a static type system that indicates object ownership. This provides a flexible mechanism to limit the visibility of object references and restrict access paths to objects, thus controlling a system's dynamic topology. The type system is shown to be sound, and the specific aliasing properties that a system's object graph satisfies are formulated and proven invariant for well-typed programs.

Overview

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1145/286936.286947

Cites

18 of 18 references verified0 citation errors · 0 not checkable

Statistics

Verification

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Citations

Cites

Show all 18 references

Research works printed but not linked: 28

  1. 10.5555/547964 · doi:10.5555/547964
  2. Paulo S6rgio Almeida . Balloon Types : Controlling sharing of state in data types . In ECOOP Proceedings , June 1997 . Paulo S6rgio Almeida. Balloon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.
  3. 10.5555/34985.34990 · doi:10.5555/34985.34990
  4. Kim B. Bruce , Luca Cardelli , and Benjamin C. Pierce . Comparing Object Encodings . in Theoretical Aspects of Computer Software (TACS'97), LNCS 1281 , pages 415 - 438 , 1997 . Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing Object Encodings. in Theoretical Aspects of Computer Software (TACS'97), LNCS 1281, pages 415-438, 1997.
  5. Luca Cardelli and Andrew D. Gordon . Mobile Ambients . In Foundations of Software Science and Computation Structures, European joint Conferences on Theory and Practice of Software , March 1998 . Luca Cardelli and Andrew D. Gordon. Mobile Ambients. In Foundations of Software Science and Computation Structures, European joint Conferences on Theory and Practice of Software, March 1998.
  6. 10.5555/302163.302180 · doi:10.5555/302163.302180
  7. 10.1145/165854.165929 · doi:10.1145/165854.165929
  8. Jin Song Dong and Roger Duke . Exclusive control within object oriented systems . In TOOLS Pacific 18 , 1995 . Jin Song Dong and Roger Duke. Exclusive control within object oriented systems. In TOOLS Pacific 18, 1995.
  9. Peter Grogono and Patrice Chalin . Copying, sharing, and aliasing , in Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94) , Montreal, Quebec , May 1994 . Peter Grogono and Patrice Chalin. Copying, sharing, and aliasing, in Proceedings of the Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), Montreal, Quebec, May 1994.
  10. 10.1109/32.90445 · doi:10.1109/32.90445
  11. 10.1109/ICCL.1992.185488 · doi:10.1109/iccl.1992.185488
  12. 10.1145/117954.117975 · doi:10.1145/117954.117975
  13. 10.1145/130943.130947 · doi:10.1145/130943.130947
  14. Stuart Kent and John Howse . Value types in Eiffel . In TOOLS 19 , Paris , 1996 . Stuart Kent and John Howse. Value types in Eiffel. In TOOLS 19, Paris, 1996.
  15. Stuart Kent and ian Maung. Encapsulation and aggregation . In TOOLS Pacific 18 , 1995 . Stuart Kent and ian Maung. Encapsulation and aggregation. In TOOLS Pacific 18, 1995.
  16. 10.1145/161494.161501 · doi:10.1145/161494.161501
  17. 10.1145/988164.988172 · doi:10.1145/988164.988172
  18. Bertrand Meyer . Eiffel: The Language . Prentice Hall , 1992 . Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1992.
  19. 10.5555/646154.758676 · doi:10.5555/646154.758676
  20. J. Gregory Morrisett . Refining First-Class Stores . In A CM SIGPLAN Worshop on State in Programming Languages , 1993 . J. Gregory Morrisett. Refining First-Class Stores. In A CM SIGPLAN Worshop on State in Programming Languages, 1993.
  21. Hanne Riis Nielson and Flemming Nielson . Semantics with Applications: a formal introduction . Wiley , 1992 . Hanne Riis Nielson and Flemming Nielson. Semantics with Applications: a formal introduction. Wiley, 1992.
  22. 10.5555/786774.787201 · doi:10.5555/786774.787201
  23. 10.5555/646155.679699 · doi:10.5555/646155.679699
  24. 10.1145/263699.263715 · doi:10.1145/263699.263715
  25. 10.5555/786775.787215 · doi:10.5555/786775.787215
  26. Jon G. Riecke and Chrisopher A. Stone. Privacy via Subsumption . In Fifth Workshop on Foundations of Object-Oriented Languages , 1998 . Jon G. Riecke and Chrisopher A. Stone. Privacy via Subsumption. In Fifth Workshop on Foundations of Object-Oriented Languages, 1998.
  27. 10.1145/141471.141563 · doi:10.1145/141471.141563
  28. Mark Utting . Reasoning about aliasing . In The Fourth Australasian Refinement Workshop , 1995 . Mark Utting. Reasoning about aliasing. In The Fourth Australasian Refinement Workshop, 1995.

Cited by

See all 580

Metadata

Authors
Clarke, D. G., Potter, J. M., & Noble, J.
Venue
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Publisher
ACM
Published
1998-10
Pages
48-64
DOI
10.1145/286936.286947
OpenAlex
W2073407646
Cited by
580
References
18
FWCI
10.48
Type
conference paper
Language
en
Open access
green
Licence
www.acm.org/publications/policies/copyright_policy#Background (vor)

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review

How to cite

Cite CoChat for the checks on this page, and the paper for its own findings.

This page
CoChat. (2026). Citation check: Ownership types for flexible alias protection. https://app.cochat.ai/papers/10.1145/286936.286947
The paper
Clarke, D. G., Potter, J. M., & Noble, J. (1998). Ownership types for flexible alias protection. Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. https://doi.org/10.1145/286936.286947

Data sources

Bibliographic data: Semantic Scholar, OpenAlex, Crossref.

Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).

Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.