Items where authors include "Bagnara, R."

Export as [feed] Atom [feed] RSS
Jump to: Article
Number of items: 4.

Article

Bagnara, R., Zeffanella, E. and Hill, P.M. (2005) Enhanced sharing analysis techniques: a comprehensive evaluation. Theory and Practice of Logic Programming, 5 (1-2). pp. 1-43. ISSN 1471-0684

Hill, P.M., Zaffanella, E. and Bagnara, R. (2004) A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Theory and Practice of Logic Programming, 4 (3). pp. 289-323. ISSN 1471-0684

Zaffanella, E., Hill, P.M. and Bagnara, R. (2002) Decomposing non-redundant sharing by complementation. Theory and Practice of Logic Programming, 2 (2). pp. 233-261. ISSN 1471-0684

Hill, P.M., Bagnara, R. and Zaffanella, E. (2002) Soundness, idempotence and commutativity of set-sharing. Theory and Practice of Logic Programming, 02 (02). pp. 155-201. ISSN 1471-0684

This list was generated on Sat Mar 23 05:34:07 2024 GMT.