Concepedia

Loop Termination

Loop Termination is a formal method in program analysis that belongs to the class of termination analysis techniques, specifically concerned with proving that a loop construct in a program will terminate after a finite number of iterations under all valid initial conditions.

35

Publications

1.3K

Citations

75

Authors

42

Institutions

Publications per year

2017–2026

4

Parents

Publications

35

Derivation of a termination detection algorithm for distributed computations

Edsger W. Dijkstra, W. H. J. Feijen, A. J. M. van Gasteren · Information Processing Letters · 1983 · 303 citations

, , +11

From program verification to program synthesis

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster · 2010 · 268 citations

, , +14

A General Framework for Automatic Termination Analysis of Logic Programs

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv et al. · Applicable Algebra in Engineering Communication and Computing · 2001 · 73 citations · Full text

, , +15

From program verification to program synthesis

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster · ACM SIGPLAN Notices · 2010 · 67 citations

, , +14

Finding Invariant assertions for proving programs

Michel Caplain · ACM SIGPLAN Notices · 1975 · 43 citations · Full text

, , +14

1–5 of 35

Authors

75

  1. SG
    Samir Genaim

    Universidad Complutense de Madrid, Spain

    3 publications · 46 citations

    3

    h-index

  2. JO
    Joël Ouaknine

    University of Oxford, United Kingdom

    2 publications · 62 citations

    2

    h-index

  3. MC
    Michel Caplain

    Commissariat à l'Énergie Atomique et aux Énergies Alternatives, France

    2 publications · 69 citations

    2

    h-index

  4. ZK
    Zachary Kincaid

    University of Toronto, Canada

    2 publications · 50 citations

    2

    h-index

  5. SS
    Saurabh Srivastava

    University of Maryland, College Park, United States

    2 publications · 335 citations

    2

    h-index

1–5 of 75

Institutions

42

  1. Commissariat à l'Énergie Atomique et aux Énergies Alternatives

    Paris, France

    2 h-index

    2 publications

    69 citations

  2. University of Maryland, College Park

    College Park, United States

    2 h-index

    4 publications

    670 citations

  3. University of Oxford

    Oxford, United Kingdom

    2 h-index

    5 publications

    147 citations

  4. Princeton University

    Princeton, United States

    2 h-index

    3 publications

    66 citations

  5. KU Leuven

    Leuven, Belgium

    2 h-index

    3 publications

    97 citations

  6. Microsoft (United States)

    Redmond, United States

    2 h-index

    2 publications

    335 citations

  7. Korea Atomic Energy Research Institute

    Daejeon, South Korea

    1 h-index

    4 publications

    108 citations

  8. Queensland University of Technology

    Brisbane, Australia

    1 h-index

    2 publications

    28 citations

1–8 of 42

Venues

  1. Journal of the American Psychoanalytic Association

    JAPA · 2 publications · 22 citations

    2

    h-index

  2. ACM SIGPLAN Notices

    2 publications · 110 citations

    2

    h-index

  3. Mathematics Magazine

    1 publications · 28 citations

    1

    h-index

  4. 1

    h-index

  5. Parallel Computing

    1 publications · 41 citations

    1

    h-index

1–5