Concepedia

Termination Of Imperative Programs

Termination of Imperative Programs is a formal method in program analysis that determines whether a given imperative program will always halt under all possible execution paths by analyzing its control flow and loop structures to ensure finite execution.

29

Publications

1.3K

Citations

54

Authors

32

Institutions

Publications per year

2017–2026

5

Parents

Publications

29

Eliminating covert flows with minimum typings

Dennis Volpano, Geoffrey Smith · 2002 · 150 citations

, , +14

Abstract debugging of higher-order imperative languages

François Bourdoncle · 1993 · 147 citations

, , +13

The VeriFast program verifier

Bart Jacobs, Frank Piessens · Lirias (KU Leuven) · 2008 · 104 citations · Full text

, , +16

Automatic numeric abstractions for heap-manipulating programs

S. Magill, Ming-Hsien Tsai, Peter Lee et al. · 2010 · 79 citations

, , +16

Automated Termination Analysis of Java Bytecode by Term Rewriting

Carsten Otto, Marc Brockschmidt, Christian von Essen et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 72 citations · Full text

, , +16

1–5 of 29

Authors

54

  1. KC
    Krishnendu Chatterjee

    Institute of Science and Technology Austria, Austria

    3 publications · 126 citations

    3

    h-index

  2. YT
    Yih-Kuen Tsay

    National Taiwan University, Taiwan

    2 publications · 91 citations

    2

    h-index

  3. SQ
    Shengchao Qin

    Teesside University, United Kingdom

    2 publications · 51 citations

    2

    h-index

  4. PL
    Peter Lee

    Imperial College London, United Kingdom

    2 publications · 91 citations

    2

    h-index

  5. SA
    Sheshansh Agrawal

    Indian Institute of Technology Bombay, India

    2 publications · 98 citations

    2

    h-index

1–5 of 54

Institutions

32

  1. Institute of Science and Technology Austria

    Klosterneuburg, Austria

    3 h-index

    5 publications

    224 citations

  2. TU Wien

    Vienna, Austria

    2 h-index

    6 publications

    219 citations

  3. National University of Singapore

    Singapore, Singapore

    2 h-index

    4 publications

    102 citations

  4. University of Verona

    Verona, Italy

    2 h-index

    2 publications

    29 citations

  5. Shenzhen University

    Shenzhen, China

    2 h-index

    2 publications

    51 citations

  6. Teesside University

    Middlesbrough, United Kingdom

    2 h-index

    2 publications

    51 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    6 publications

    234 citations

  8. National Taiwan University

    Taipei, Taiwan

    2 h-index

    4 publications

    182 citations

1–8 of 32

Venues

  1. ACM SIGPLAN Notices

    4 publications · 95 citations

    4

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 2 publications · 94 citations

    2

    h-index

  3. Formal Aspects of Computing

    1 publications · 31 citations

    1

    h-index

  4. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 1 publications · 16 citations

    1

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 13 citations

    1

    h-index

1–5