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

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: 17 Jun 2014 04:00
Published Version: http://journals.cambridge.org/action/displayIssue?...
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: 10.1017/S1471068401001351

Downloads

Filename: hillP2.pdf

Licence: See Attached

Filename: licence.txt

Description: licence

Filename: 2010-10-12T07:57:40Z.atom

Description: admin

Filename: 2010-10-12T09:00:35Z.atom

Description: admin

Filename: 2010-10-12T10:05:14Z.atom

Description: admin

Filename: 2010-10-12T11:08:36Z.atom

Description: admin

Filename: 2010-10-12T12:10:27Z.atom

Description: admin

Filename: 2010-10-12T13:16:25Z.atom

Description: admin

Filename: 2010-10-12T14:17:36Z.atom

Description: admin

Filename: 2010-10-12T15:25:28Z.atom

Description: admin

Filename: 2010-10-12T16:29:36Z.atom

Description: admin

Filename: 2010-10-12T17:37:37Z.atom

Description: admin

Filename: 2010-10-12T18:41:40Z.atom

Description: admin

Filename: 2010-10-13T08:47:21Z.atom

Description: admin

Filename: 2010-10-13T09:58:18Z.atom

Description: admin

Filename: 2010-10-13T11:07:55Z.atom

Description: admin

Filename: 2010-10-13T12:14:09Z.atom

Description: admin

Filename: 2010-10-13T13:20:55Z.atom

Description: admin

Filename: 2010-10-13T14:26:42Z.atom

Description: admin

Filename: 2010-10-13T15:38:44Z.atom

Description: admin

Filename: 2010-10-13T16:43:40Z.atom

Description: admin

Filename: 2010-10-13T17:43:14Z.atom

Description: admin

Filename: 2010-10-14T08:45:58Z.atom

Description: admin

Filename: 2010-10-14T12:45:11Z.atom

Description: admin

Filename: 2010-10-14T16:55:39Z.atom

Description: admin

Filename: 2010-10-15T08:53:39Z.atom

Description: admin

Filename: 2010-10-15T12:56:08Z.atom

Description: admin

Share / Export

Statistics