303 citations
- Centre National de la Recherche ScientifiqueFR9 papers
- Max Planck Institute for Nuclear PhysicsDE6 papers
- Université de MontpellierFR6 papers
- École PolytechniqueFR5 papers
- Max Planck SocietyDE5 papers
- Ruhr University BochumDE5 papers
- Universität HamburgDE5 papers
- Université Toulouse III - Paul SabatierFR5 papers
- A. Alikhanyan National LaboratoryAM4 papers
- CEA Paris-SaclayFR4 papers
- Charles UniversityCZ4 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR4 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2004
Enhanced sharing analysis techniques: a comprehensive evaluation
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Sharing, an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core…
cs.PL2004
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of lo…