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

Abstract

Metadata

Authors/Creators:
  • 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
Dates:
  • Published: March 2002
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Depositing User: Repository Assistant
Date Deposited: 12 May 2006
Last Modified: 28 Oct 2016 17:03
Published Version: http://dx.doi.org/10.1017/S1471068401001338
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: https://doi.org/10.1017/S1471068401001338

Export

Statistics