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

Abstract

Metadata

Authors/Creators:
  • Zaffanella, E.
  • Hill, P.M.
  • Bagnara, R.
Copyright, Publisher and Additional Information: © 2002 Cambridge University Press
Keywords: Abstract interpretation, domain decomposition, complementation, sharing analysis
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: 16 Sep 2016 21:38
Published Version: http://journals.cambridge.org/action/displayIssue?...
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: 10.1017/S1471068401001351

Download

Filename: hillP2.pdf

Share / Export

Statistics