Flexible alias protection-Reference-Cited by-同舟云学术

Flexible alias protection

Published:1998 Issue: Volume: Page:158-185
ISSN:0302-9743
Container-title:ECOOP’98 — Object-Oriented Programming
language:
Short-container-title:

Author:

Noble James,Vitek Jan,Potter John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0054091

Reference41 articles.

1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.

2. Paulo Sérgio Almeida. Balloon Types: Controlling sharing of state in data types. In ECOOP Proceedings, June 1997.

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

4. Henry G. Baker.’ Use-once’ variables and linear objects — storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1), January 1995.

5. Edwin Blake and Steve Cook. On including part hierarchies in object-oriented languages, with an implementation in Smalltalk. In ECOOP Proceedings, 1987.

Cited by 115 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dafny vs. Dala: Experience with Mechanising Language Design;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20

2. Resolving the Java Representation Exposure Problem with an AST-Based Deep Copy and Flexible Alias Ownership System;Electronics;2024-01-14

3. Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs;Proceedings of the ACM on Programming Languages;2024-01-05

4. Capturing Types;ACM Transactions on Programming Languages and Systems;2023-11-20

5. programmingLanguage as Language;;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18