R. Bagnara, P. M. Hill, and E. Zaffanella. Efficient structural information analysis for real CLP languages. In Proc. LPAR2000, volume 1955 of LNCS. Springer, 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

.... Gamma T 1 and H 2 Gamma T 2 , respectively, then the unification term 1 = term 2 imposes the dependency (h 1 h 2 ) t 1 t 2 ) which is more precise than (h 1 t 1 ) h 2 t 2 ) which would be derived without the additional information. This has been the approach in previous works such as [20, 24, 8, 11, 2] where pattern analysis can be used to enhance the precision of other analyses. Introducing pattern information does not allow to distinguish between e.g. bounded lists such as [1; X; 3] and open ended lists such as [1; 2jZ] because the open end can be situated at an arbitrary depth. Making such ....

R. Bagnara, P. M. Hill, and E. Zaffanella. Efficient structural information analysis for real CLP languages. In Proc. LPAR2000, volume 1955 of LNCS. Springer, 2000.

.... Gamma T 1 and H 2 Gamma T 2 , respectively, then the unification term 1 = term 2 imposes the dependency (h 1 h 2 ) t 1 t 2 ) which is more precise than (h 1 t 1 ) h 2 t 2 ) which would be derived without the additional information. This has been the approach in previous works such as [20, 24, 8, 11, 2] where simple pattern analysis can be used to enhance the precision of other analyses. Introducing pattern information does not allow to distinguish between e.g. bounded lists such as [1; X; 3] and open ended lists such as [1; 2jZ] because the open end can be situated at an arbitrary depth. ....

R. Bagnara, P. M. Hill, and E. Zaffanella. Efficient structural information analysis for real CLP languages. In Proc. LPAR2000, volume 1955 of LNCS. Springer, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC