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
Dates:
  • Published: January 2005
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: 18 May 2006
Last Modified: 24 Oct 2016 20:27
Published Version: http://dx.doi.org/10.1017/S1471068404001978
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: https://doi.org/10.1017/S1471068404001978

Export

Statistics