Concepedia

Program Termination Criteria

Program Termination Criteria is a formal set of conditions or rules that determines when a computational program or algorithm must cease execution, distinguishing it from general program behavior by specifying the precise circumstances under which termination is triggered.

58

Publications

2.4K

Citations

152

Authors

86

Institutions

Publications per year

2017–2026

6

Parents

Publications

58

Criteria for automatic x-ray absorption fine structure background removal

J. W. Cook, D. E. Sayers · Journal of Applied Physics · 1981 · 245 citations

, , +12

Termination of logic programs: the never-ending story

Danny De Schreye, Stefaan Decorte · The Journal of Logic Programming · 1994 · 208 citations · Full text

, , +13

Reasoning about Termination of Pure Prolog Programs

Krzysztof R. Apt, Dino Pedreschi · Information and Computation · 1993 · 148 citations · Full text

, , +9

A semantic basis for the termination analysis of logic programs

Michael Codish, Cohavit Taboch · The Journal of Logic Programming · 1999 · 132 citations

, , +15

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 127 citations · Full text

, , +13

1–5 of 58

Authors

152

  1. SG
    Sergio Greco

    University of Calabria, Italy

    4 publications · 55 citations

    4

    h-index

  2. IT
    Irina Trubitsyna

    University of Calabria, Italy

    4 publications · 55 citations

    4

    h-index

  3. DD
    Danny De Schreye

    KU Leuven, Belgium

    3 publications · 256 citations

    3

    h-index

  4. BR
    Bernadette R. Walter

    University of North Carolina at Chapel Hill, United States

    2 publications · 74 citations

    2

    h-index

  5. ÉP
    Étienne Payet

    University of Verona, Italy

    2 publications · 138 citations

    2

    h-index

1–5 of 152

Institutions

86

  1. KU Leuven

    Leuven, Belgium

    4 h-index

    7 publications

    585 citations

  2. Chinese Academy of Sciences

    Beijing, China

    3 h-index

    3 publications

    46 citations

  3. University of Calabria

    Rende, Italy

    3 h-index

    10 publications

    131 citations

  4. Universidad de Málaga

    Málaga, Spain

    2 h-index

    3 publications

    105 citations

  5. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    2 h-index

    3 publications

    307 citations

  6. University of Canterbury

    Christchurch, New Zealand

    2 h-index

    5 publications

    64 citations

  7. Peking University

    Beijing, China

    2 h-index

    4 publications

    100 citations

  8. University of Pisa

    Pisa, Italy

    2 h-index

    3 publications

    330 citations

1–8 of 86

Venues

  1. The Journal of Logic Programming

    3 publications · 381 citations

    3

    h-index

  2. Theory and Practice of Logic Programming

    3 publications · 40 citations

    3

    h-index

  3. ACM Transactions on Computational Logic

    TOCL · 2 publications · 70 citations

    2

    h-index

  4. 2

    h-index

  5. Journal of Consulting and Clinical Psychology

    2 publications · 74 citations

    2

    h-index

1–5