Pubblicazioni scientifiche selezionate

Export 3 results:
Ordina per: Autore [ Titolo (Asc)] Tipo Anno
A B C D [E] F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
E
Bagnara R, Hill PM, Zaffanella E.  2000.  Efficient Structural Information Analysis for Real CLP Languages. Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000). 1955:189–206.
Bagnara R, Zaffanella E, Hill PM.  2005.  Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation. Theory and Practice of Logic Programming. 5(1&2):1-43. Abstract  Scarica: BagnaraZH05TPLP.pdf (449.66 KB)
Bagnara R, Hill PM, Zaffanella E.  2010.  Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. Computational Geometry: Theory and Applications. 43(5):453–473. Abstract  Scarica: BagnaraHZ10CGTA.pdf (339.41 KB)