Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

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 Aug 17 18:46:08 2019 BST.