223 citations
- Istituto Nazionale di Fisica Nucleare, Gruppo Collegato di Parma29 papers
- Politecnico di TorinoIT16 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FirenzeIT10 papers
- National Interuniversity Consortium for the Physical Sciences of MatterIT9 papers
- Centre National de la Recherche ScientifiqueFR6 papers
- University of LeedsGB6 papers
- Bielefeld UniversityDE5 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PaviaIT5 papers
- University of SalernoIT5 papers
- European Organization for Nuclear ResearchCH4 papers
- University of FlorenceIT4 papers
- University of FreiburgDE4 papers
Showing 2004 · cs.PLShow all
2 papers · 2 filters
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…