Verifying termination and error-freedom of logic programs with block declarations

Smaus, J.-G., Hill, P.M. and King, A. (2001) Verifying termination and error-freedom of logic programs with block declarations. Theory and Practice of Logic Programming, 1 (4). pp. 447-486. ISSN 1471-0684

Abstract

Metadata

Authors/Creators:
  • Smaus, J.-G.
  • Hill, P.M.
  • King, A.
Copyright, Publisher and Additional Information: © 2001 Cambridge University Press
Keywords: verification, delay declarations, termination, modes, types, selection rule, built-ins, errors
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: 22 May 2006
Last Modified: 27 Oct 2016 17:43
Published Version: http://dx.doi.org/10.1017/S1471068401001107
Status: Published
Publisher: Cambridge University Press
Refereed: Yes
Identification Number: https://doi.org/10.1017/S1471068401001107

Download

Filename: hillP5.pdf

Share / Export

Statistics