Soundness, idempotence and commutativity of set-sharing

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



  • Hill, P.M.
  • Bagnara, R.
  • Zaffanella, E.
Copyright, Publisher and Additional Information: © 2002 Cambridge University Press.
Keywords: abstract interpretation, logic programming, occurs-check, rational trees, set-sharing
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Depositing User: Repository Assistant
Date Deposited: 12 May 2006
Last Modified: 16 Sep 2016 17:12
Published Version:
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: DOI:10.1017/S1471068401001338


Filename: hillP1.pdf

Share / Export