Decomposing non-redundant sharing by complementation

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



  • Zaffanella, E.
  • Hill, P.M.
  • Bagnara, R.
Copyright, Publisher and Additional Information: © 2002 Cambridge University Press
Keywords: Abstract interpretation, domain decomposition, complementation, sharing analysis
  • Published: March 2002
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: 18 May 2006
Last Modified: 29 Oct 2016 17:25
Published Version:
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number:

Share / Export