223 citations
- Istituto Nazionale di Fisica Nucleare, Gruppo Collegato di Parma26 papers
- Politecnico di TorinoIT16 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di FirenzeIT10 papers
- National Interuniversity Consortium for the Physical Sciences of MatterIT7 papers
- University of LeedsGB5 papers
- University of SalernoIT5 papers
- Bielefeld UniversityDE4 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- European Organization for Nuclear ResearchCH4 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PaviaIT4 papers
- University of FlorenceIT4 papers
- Institut des Hautes Études ScientifiquesFR3 papers
Showing 2003 · cs.PLShow all
2 papers · 2 filters
cs.PL2003★ 2 cited
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…
cs.PL2003
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…