Termination of well-moded programs

Sandro Etalle, A. Bossi, N. Cocco

  • 24 Citations

Abstract

We study the termination properties of well-moded programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150¿176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.
Original languageUndefined
Pages (from-to)243-257
Number of pages15
JournalThe Journal of Logic Programming
Volume38
Issue number2
DOIs
StatePublished - Feb 1999

Fingerprint

Termination
Prolog
Logic

Keywords

  • IR-55824
  • Well-moded programs
  • EWI-1011
  • Termination
  • Modular proofs

Cite this

Etalle, S., Bossi, A., & Cocco, N. (1999). Termination of well-moded programs. 38(2), 243-257. DOI: 10.1016/S0743-1066(98)10025-0

Etalle, Sandro; Bossi, A.; Cocco, N. / Termination of well-moded programs.

Vol. 38, No. 2, 02.1999, p. 243-257.

Research output: Scientific - peer-reviewArticle

@article{9df2da8253414bf0b4bf58a72e72e809,
title = "Termination of well-moded programs",
abstract = "We study the termination properties of well-moded programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150¿176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.",
keywords = "IR-55824, Well-moded programs, EWI-1011, Termination, Modular proofs",
author = "Sandro Etalle and A. Bossi and N. Cocco",
note = "Imported from DIES",
year = "1999",
month = "2",
doi = "10.1016/S0743-1066(98)10025-0",
volume = "38",
pages = "243--257",
number = "2",

}

Etalle, S, Bossi, A & Cocco, N 1999, 'Termination of well-moded programs' vol 38, no. 2, pp. 243-257. DOI: 10.1016/S0743-1066(98)10025-0

Termination of well-moded programs. / Etalle, Sandro; Bossi, A.; Cocco, N.

Vol. 38, No. 2, 02.1999, p. 243-257.

Research output: Scientific - peer-reviewArticle

TY - JOUR

T1 - Termination of well-moded programs

AU - Etalle,Sandro

AU - Bossi,A.

AU - Cocco,N.

N1 - Imported from DIES

PY - 1999/2

Y1 - 1999/2

N2 - We study the termination properties of well-moded programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150¿176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.

AB - We study the termination properties of well-moded programs, and we show that, under suitable conditions, for these programs there exists an algebraic characterization-in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd (Ed.), Proceedings of the Simposium in Computational Logic, Springer, Berlin, 1990, pp. 150¿176-of the property of being terminating. This characterization enjoys the properties of being compositional and, to some extent, of being easy to check.

KW - IR-55824

KW - Well-moded programs

KW - EWI-1011

KW - Termination

KW - Modular proofs

U2 - 10.1016/S0743-1066(98)10025-0

DO - 10.1016/S0743-1066(98)10025-0

M3 - Article

VL - 38

SP - 243

EP - 257

IS - 2

ER -

Etalle S, Bossi A, Cocco N. Termination of well-moded programs. 1999 Feb;38(2):243-257. Available from, DOI: 10.1016/S0743-1066(98)10025-0