1.2k citations
- V. Vedral2 profiles23 · h 81
- K. Kosack2 profiles17 · h 57
- M. Hoare3 profiles17 · h 43
- W. Hofmann2 profiles17 · h 76
- J. Pachos16 · h 31
- D. Horns2 profiles15 · h 69
- G. Dubus2 profiles15 · h 64
- G. Pühlhofer7 profiles15 · h 48
- I. Jung2 profiles15 · h 43
- S. Fegan2 profiles15 · h 104
- W. Domainko3 profiles15 · h 47
- B. Giebels4 profiles14 · h 83
- Centre National de la Recherche ScientifiqueFR31 papers
- Max Planck Institute for Nuclear PhysicsDE24 papers
- Dublin Institute For Advanced StudiesIE19 papers
- University of CambridgeGB19 papers
- Université Toulouse III - Paul SabatierFR17 papers
- Center for Astrophysics Harvard & SmithsonianUS16 papers
- Heidelberg UniversityDE16 papers
- Institut de Planétologie et d'Astrophysique de GrenobleFR16 papers
- Université de MontpellierFR16 papers
- University of ChicagoUS16 papers
- Durham UniversityGB15 papers
- École PolytechniqueFR15 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…