The role of linearity in sharing analysis
From MaRDI portal
Publication:5055490
DOI10.1017/S0960129522000160OpenAlexW4282836380MaRDI QIDQ5055490
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
Publication date: 9 December 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129522000160
Uses Software
Cites Work
- Unnamed Item
- Exploiting linearity in sharing analysis of object-oriented programs
- Bottom-up abstract interpretation of logic programs
- Set-sharing is redundant for pair-sharing
- Optimality in goal-dependent analysis of Sharing
- On the interaction between sharing and linearity
- Abstract interpretation and application to logic programs
- Static analysis of logic programs for independent and parallelism
- Compile-time derivation of variable dependency using abstract interpretation
- Enhanced sharing analysis techniques: a comprehensive evaluation
- Optimal multibinding unification for sharing and linearity analysis
- Precise Set Sharing Analysis for Java-Style Programs
- Observational Completeness on Abstract Interpretation
- Static Analysis
This page was built for publication: The role of linearity in sharing analysis