91 citations
- Politecnico di TorinoIT7 papers
- Istituto Nazionale di Fisica Nucleare, Gruppo Collegato di Parma4 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FirenzeIT4 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PerugiaIT2 papers
- Istituto Nazionale per la Fisica della MateriaIT2 papers
- University of FlorenceIT2 papers
- University of LeedsGB2 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di MilanoIT1 paper
- Marche Polytechnic UniversityIT1 paper
- National Institute of Technology, Gunma CollegeJP1 paper
- Observatoire des Sciences de l'Univers de la RéunionRE1 paper
4 papers · 1 filter
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…
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…
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
Agostino Dovier, Carla Piazza, Gianfranco Rossi
Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from…
cTI: A constraint-based termination inference tool for ISO-Prolog
Fred Mesnard, Roberto Bagnara
We present cTI, the first system for universal left-termination inference of logic programs. Termination inference generalizes termination analysis and checking. Traditionally, a t…