article

Alias burying: unique variables without destructive reads

Author:

John BoylandAuthors Info & Claims

Software—Practice & Experience, Volume 31, Issue 6

Pages 533 - 553

https://doi.org/10.1002/spe.370

Published: 01 May 2001 Publication History

Abstract

No abstract available.

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
Cui MXu HTian HZhou Y(2024)rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in RustIEEE Transactions on Software Engineering10.1109/TSE.2024.344362450:9(2472-2484)Online publication date: 13-Aug-2024
https://dl.acm.org/doi/10.1109/TSE.2024.3443624
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

Alias burying: unique variables without destructive reads
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Interprocedural pointer alias analysis

We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a framework ...
Context-insensitive alias analysis reconsidered
PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a single approximation to a procedure's ...
Context-insensitive alias analysis reconsidered

Recent work on alias analysis in the presence of pointers has concentrated on context-sensitive interprocedural analyses, which treat multiple calls to a single procedure independently rather than constructing a single approximation to a procedure's ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Software Volume 31, Issue 6

Special issue on aliasing in object-oriented systems

May 2001

106 pages

ISSN:0038-0644

EISSN:1097-024X

Editors:
D. E. Comer
Purdue Univ., West Lafayette, IN
,
A. J. Wellings
Univ. of York, Heslington, York, UK

Issue’s Table of Contents

Publisher

John Wiley & Sons, Inc.

United States

Publication History

Published: 01 May 2001

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

92
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Feb 2025

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
Cui MXu HTian HZhou Y(2024)rCanary: Detecting Memory Leaks Across Semi-Automated Memory Management Boundary in RustIEEE Transactions on Software Engineering10.1109/TSE.2024.344362450:9(2472-2484)Online publication date: 13-Aug-2024
https://dl.acm.org/doi/10.1109/TSE.2024.3443624
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
Crichton WGray GKrishnamurthi S(2023)A Grounded Conceptual Model for Ownership Types in RustProceedings of the ACM on Programming Languages10.1145/36228417:OOPSLA2(1224-1252)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622841
Noble JMackay JWrigstad T(2022)Rusty Links in Local Chains✱Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3611096.3611097(1-3)Online publication date: 7-Jun-2022
https://dl.acm.org/doi/10.1145/3611096.3611097
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
Gariano IServetto MPotanin A(2022)Using capabilities for strict runtime invariant checkingScience of Computer Programming10.1016/j.scico.2022.102878224:COnline publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1016/j.scico.2022.102878
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
Punchihewa HWu NHage J(2021)Safe mutation with algebraic effectsProceedings of the 14th ACM SIGPLAN International Symposium on Haskell10.1145/3471874.3472988(122-135)Online publication date: 18-Aug-2021
https://dl.acm.org/doi/10.1145/3471874.3472988
Narayanan VHuang TDetweiler DAppel DLi ZZellweger GBurtsev ALu SHowell J(2020)RedLeafProceedings of the 14th USENIX Conference on Operating Systems Design and Implementation10.5555/3488766.3488768(21-39)Online publication date: 4-Nov-2020
https://dl.acm.org/doi/10.5555/3488766.3488768
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Interprocedural pointer alias analysis

Context-insensitive alias analysis reconsidered

Context-insensitive alias analysis reconsidered

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations