Enhanced sharing analysis techniques: a comprehensive evaluation

Bagnara, R., Zeffanella, E. and Hill, P.M. (2005) Enhanced sharing analysis techniques: a comprehensive evaluation. Theory and Practice of Logic Programming, 5 (1-2). pp. 1-43. ISSN 1471-0684

Abstract

Metadata

Authors/Creators:
  • Bagnara, R.
  • Zeffanella, E.
  • Hill, P.M.
Copyright, Publisher and Additional Information: © 2005 Cambridge University Press.
Keywords: abstract interpretation, logic programming, sharing analysis, experimental evaluation
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 Sep 2016 17:37
Published Version: http://dx.doi.org/10.1017/S1471068404001978
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: 10.1017/S1471068404001978

Download

Filename: hillP4.pdf

Share / Export

Statistics