Selected Scientific Publications
Export 3 results:
Author Title [ Type
Filters: First Letter Of Title is E and Author is Patricia M. Hill [Clear All Filters]
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.
.
2000. Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation. Theory and Practice of Logic Programming. 5:1-43.
BagnaraZH05TPLP.pdf (449.66 KB)
.
2005. 
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. Computational Geometry: Theory and Applications. 43:453–473.
BagnaraHZ10CGTA.pdf (339.41 KB)
.
2010. 