Concepedia

Program Termination

Program Termination is a theoretical construct in computer science that belongs to the class of program correctness properties, specifically denoting the property that a program will invariably reach a final state in finite time under all valid execution paths.

263

Publications

15.6K

Citations

434

Authors

225

Institutions

Publications per year

2017–2026

26

Parents

Publications

263

Political turnover and economic performance: the incentive role of personnel control in China

Hongbin Li, Li‐An Zhou · Journal of Public Economics · 2004 · 3.6K citations

, , +16

Verifying properties of parallel programs

Susan Owicki, David Gries · Communications of the ACM · 1976 · 543 citations · Full text

, , +17

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text

, , +12

STOP-IT: Windows executable software for the stop-signal paradigm

Frederick Verbruggen, Gordon D. Logan, Michaël Stevens · Behavior Research Methods · 2008 · 494 citations · Full text

, , +10

The size-change principle for program termination

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram · 2001 · 379 citations · Full text

, , +16

1–5 of 263

Authors

434

  1. BC
    Byron Cook

    Microsoft Research (United Kingdom), United Kingdom

    10 publications · 940 citations

    10

    h-index

  2. DD
    Danny De Schreye

    KU Leuven, Belgium

    9 publications · 497 citations

    9

    h-index

  3. JG
    Jürgen Giesl

    RWTH Aachen University, Germany

    8 publications · 352 citations

    8

    h-index

  4. KC
    Krishnendu Chatterjee

    Institute of Science and Technology Austria, Austria

    7 publications · 348 citations

    7

    h-index

  5. SL
    Salvador Lucas

    Universitat Politècnica de València, Spain

    7 publications · 232 citations

    7

    h-index

1–5 of 434

Institutions

225

  1. RWTH Aachen University

    Aachen, Germany

    12 h-index

    36 publications

    2.1K citations

  2. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    10 h-index

    12 publications

    1K citations

  3. Universitat Politècnica de València

    Valencia, Spain

    9 h-index

    9 publications

    257 citations

  4. Stanford University

    Stanford, United States

    9 h-index

    11 publications

    1.5K citations

  5. Institute of Science and Technology Austria

    Klosterneuburg, Austria

    8 h-index

    17 publications

    879 citations

  6. Academic College of Tel Aviv-Yafo

    Tel Aviv, Israel

    8 h-index

    9 publications

    610 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    7 h-index

    12 publications

    427 citations

  8. KU Leuven

    Leuven, Belgium

    7 h-index

    13 publications

    865 citations

1–8 of 225

Venues

  1. 11

    h-index

  2. Theory and Practice of Logic Programming

    11 publications · 194 citations

    10

    h-index

  3. ACM SIGPLAN Notices

    9 publications · 627 citations

    9

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 8 publications · 205 citations

    8

    h-index

  5. The Journal of Logic Programming

    7 publications · 470 citations

    7

    h-index

1–5