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

The Rachel and Selim Benin School of Engineering and Computer Science

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

20 Scopus citations

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	Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings
Editors	Orna Grumberg
Publisher	Springer Verlag
Pages	444-447
Number of pages	4
ISBN (Print)	3540631666, 9783540631668
DOIs	https://doi.org/10.1007/3-540-63166-6_44
State	Published - 1997
Event	9th International Conference on Computer-Aided Verification, CAV 1997 - Haifa, Israel Duration: 22 Jun 1997 → 25 Jun 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1254
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Computer-Aided Verification, CAV 1997
Country/Territory	Israel
City	Haifa
Period	22/06/97 → 25/06/97

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.

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.), Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings (pp. 444-447). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1254). Springer Verlag. https://doi.org/10.1007/3-540-63166-6_44

Lindenstrauss, N. ; Sagiv, Y. ; Serebrenik, A. / Termilog : A system for checking termination of queries to logic programs. Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. editor / Orna Grumberg. Springer Verlag, 1997. pp. 444-447 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{136eccef7a904c7d98744acb6a84c0fa,

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",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 9th International Conference on Computer-Aided Verification, CAV 1997 ; Conference date: 22-06-1997 Through 25-06-1997",

year = "1997",

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

language = "אנגלית",

isbn = "3540631666",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "444--447",

editor = "Orna Grumberg",

booktitle = "Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings",

address = "גרמניה",

}

Lindenstrauss, N, Sagiv, Y & Serebrenik, A 1997, Termilog: A system for checking termination of queries to logic programs. in O Grumberg (ed.), Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1254, Springer Verlag, pp. 444-447, 9th International Conference on Computer-Aided Verification, CAV 1997, Haifa, Israel, 22/06/97. 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.
Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. ed. / Orna Grumberg. Springer Verlag, 1997. p. 444-447 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1254).

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

TY - GEN

T1 - Termilog

T2 - 9th International Conference on Computer-Aided Verification, CAV 1997

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.

UR - https://www.scopus.com/pages/publications/84872372180

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

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84872372180

SN - 3540631666

SN - 9783540631668

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 444

EP - 447

BT - Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings

A2 - Grumberg, Orna

PB - Springer Verlag

Y2 - 22 June 1997 through 25 June 1997

ER -

Lindenstrauss N, Sagiv Y, Serebrenik A. Termilog: A system for checking termination of queries to logic programs. In Grumberg O, editor, Computer Aided Verification - 9th International Conference, CAV 1997, Proceedings. Springer Verlag. 1997. p. 444-447. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-63166-6_44

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

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this