TermiLog: A system for checking termination of queries to logic programs

N. Lindenstrauss; Y. Sagiv; A. Serebrenik

doi:10.1007/3-540-63166-6_44

TermiLog: A system for checking termination of queries to logic programs

N. Lindenstrauss, Y. Sagiv, A. Serebrenik

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

20 Citations (Scopus)

Abstract

TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.

Original language	English
Title of host publication	Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel
Editors	O. Grumberg
Place of Publication	Berlin
Publisher	Springer
Pages	444-447
ISBN (Print)	978-3-540-63166-8
DOIs	https://doi.org/10.1007/3-540-63166-6_44
Publication status	Published - 1997

Publication series

Name	Lecture Notes in Computer Science
Volume	1254
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-63166-6_44

Cite this

Lindenstrauss, N., Sagiv, Y., & Serebrenik, A. (1997). TermiLog: A system for checking termination of queries to logic programs. In O. Grumberg (Ed.), Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel (pp. 444-447). (Lecture Notes in Computer Science; Vol. 1254). Springer. https://doi.org/10.1007/3-540-63166-6_44

@inproceedings{8ee41241f2fe4394bb8dce445498a505,

title = "TermiLog: A system for checking termination of queries to logic programs",

abstract = "TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.",

author = "N. Lindenstrauss and Y. Sagiv and A. Serebrenik",

year = "1997",

doi = "10.1007/3-540-63166-6_44",

language = "English",

isbn = "978-3-540-63166-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "444--447",

editor = "O. Grumberg",

booktitle = "Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel",

address = "Germany",

}

Lindenstrauss, N, Sagiv, Y & Serebrenik, A 1997, TermiLog: A system for checking termination of queries to logic programs. in O Grumberg (ed.), Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel. Lecture Notes in Computer Science, vol. 1254, Springer, Berlin, pp. 444-447. https://doi.org/10.1007/3-540-63166-6_44

TermiLog: A system for checking termination of queries to logic programs. / Lindenstrauss, N.; Sagiv, Y.; Serebrenik, A.

Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel. ed. / O. Grumberg. Berlin : Springer, 1997. p. 444-447 (Lecture Notes in Computer Science; Vol. 1254).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - TermiLog: A system for checking termination of queries to logic programs

AU - Lindenstrauss, N.

AU - Sagiv, Y.

AU - Serebrenik, A.

PY - 1997

Y1 - 1997

N2 - TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.

AB - TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.

U2 - 10.1007/3-540-63166-6_44

DO - 10.1007/3-540-63166-6_44

M3 - Conference contribution

SN - 978-3-540-63166-8

T3 - Lecture Notes in Computer Science

SP - 444

EP - 447

BT - Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel

A2 - Grumberg, O.

PB - Springer

CY - Berlin

ER -

Lindenstrauss N, Sagiv Y, Serebrenik A. TermiLog: A system for checking termination of queries to logic programs. In Grumberg O, editor, Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel. Berlin: Springer. 1997. p. 444-447. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-63166-6_44