Concepedia

Type State Analysis

Type State Analysis is a static analysis method that belongs to the category of program verification techniques, specifically distinguished by its enforcement of correct usage protocols for object states through the tracking of type states across a program’s control flow.

41

Publications

2K

Citations

95

Authors

51

Institutions

Publications per year

2017–2026

5

Parents

Publications

41

Frama-C: A software analysis perspective

Florent Kirchner, Nikolaï Kosmatov, Virgile Prévosto et al. · Formal Aspects of Computing · 2015 · 388 citations · Full text

, , +12

Mining object behavior with ADABU

Valentin Dallmeier, Christian Lindig, Andrzej Wasylkowski et al. · 2006 · 186 citations

, , +16

Secure information flow and pointer con .nement in a java-like language

Anindya Banerjee, David A. Naumann · 2005 · 149 citations

, , +13

<i>Mutatis Mutandis</i>

Gareth Stoyle, Michael Hicks, Gavin Bierman et al. · ACM Transactions on Programming Languages and Systems · 2007 · 99 citations · Full text

, , +13

Type Inference for Recursively Constrained Types and its Application to OOP

Jonathan Eifrig, Scott F. Smith, Valery Trifonov · Electronic Notes in Theoretical Computer Science · 1995 · 92 citations · Full text

, , +14

1–5 of 41

Authors

95

  1. MN
    Mayur Naik

    Georgia Institute of Technology, United States

    2 publications · 66 citations

    2

    h-index

  2. TT
    Tachio Terauchi

    Tohoku University, Japan

    2 publications · 121 citations

    2

    h-index

  3. MG
    Mangala Gowri Nanda

    IBM Research - India, India

    2 publications · 48 citations

    2

    h-index

  4. FM
    Filipe Militão

    Universidade Nova de Lisboa, Portugal

    2 publications · 34 citations

    2

    h-index

  5. JA
    Jonathan Aldrich

    Carnegie Mellon University, United States

    2 publications · 34 citations

    2

    h-index

1–5 of 95

Institutions

51

  1. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    4 publications

    94 citations

  2. University of Maryland, College Park

    College Park, United States

    3 h-index

    4 publications

    319 citations

  3. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    5 publications

    164 citations

  4. Technische Universität Darmstadt

    Darmstadt, Germany

    2 h-index

    2 publications

    81 citations

  5. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    2 publications

    48 citations

  6. University of California, Berkeley

    Berkeley, United States

    2 h-index

    6 publications

    363 citations

  7. Cornell University

    Ithaca, United States

    2 h-index

    4 publications

    160 citations

  8. IBM Research - India

    New Delhi, India

    2 h-index

    4 publications

    96 citations

1–8 of 51

Venues

  1. ACM SIGPLAN Notices

    3 publications · 90 citations

    3

    h-index

  2. Science of Computer Programming

    3 publications · 61 citations

    3

    h-index

  3. 1

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 92 citations

    1

    h-index

  5. Journal of Automated Reasoning

    1 publications · 11 citations

    1

    h-index

1–5