Concepedia

Type Error Reporting

Type Error Reporting is a diagnostic method in programming language systems that identifies and communicates discrepancies between expected and actual types during type checking, distinguished by its focus on the precision, clarity, and recoverability of error messages to support developer understanding and correction.

34

Publications

1.4K

Citations

94

Authors

46

Institutions

Publications per year

2017–2026

10

Parents

Publications

34

Finding the source of type errors

Mitchell Wand · 1986 · 135 citations

, , +13

Reporting Self-Made Errors: The Impact of Organizational Error-Management Climate and Error Type

Ulfert Gronewold, Anna Gold, Steven E. Salterio · Journal of Business Ethics · 2012 · 108 citations

, , +16

Scalable and precise taint analysis for Android

Wei Huang, Yao Dong, Ana Milanova et al. · 2015 · 97 citations

, , +17

Error Management in Audit Firms: Error Climate, Type, and Originator

Anna Gold, Ulfert Gronewold, Steven E. Salterio · The Accounting Review · 2013 · 93 citations

, , +13

Revising the Panko–Halverson taxonomy of spreadsheet errors

Raymond R. Panko, Salvatore Aurigemma · Decision Support Systems · 2010 · 90 citations

, , +8

1–5 of 34

Authors

94

  1. ZP
    Zvonimir Pavlinovic

    New York University, United States

    2 publications · 68 citations

    2

    h-index

  2. SC
    Sheng Chen

    Oregon State University, United States

    2 publications · 72 citations

    2

    h-index

  3. SE
    Steven E. Salterio

    Queen's University, Canada

    2 publications · 201 citations

    2

    h-index

  4. ML
    Martin L. Shooman

    SUNY Polytechnic Institute, United States

    2 publications · 85 citations

    2

    h-index

  5. MI
    Morris I. Bolsky

    SUNY Polytechnic Institute, United States

    2 publications · 85 citations

    2

    h-index

1–5 of 94

Institutions

46

  1. New York University

    New York, United States

    2 h-index

    5 publications

    179 citations

  2. SUNY Polytechnic Institute

    Utica, United States

    2 h-index

    2 publications

    85 citations

  3. Delft University of Technology

    Delft, The Netherlands

    2 h-index

    3 publications

    56 citations

  4. Utrecht University

    Utrecht, The Netherlands

    2 h-index

    4 publications

    214 citations

  5. University of Potsdam

    Potsdam, Germany

    2 h-index

    2 publications

    201 citations

  6. Queen's University

    Kingston, Canada

    2 h-index

    2 publications

    201 citations

  7. Google (United States)

    Mountain View, United States

    1 h-index

    1 publications

    97 citations

  8. University of Michigan

    Ann Arbor, United States

    1 h-index

    2 publications

    50 citations

1–8 of 46

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 3 publications · 50 citations

    3

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 29 citations

    2

    h-index

  3. Mudīrīyyat-i salāmat.

    1 publications · 13 citations

    1

    h-index

  4. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 1 publications · 15 citations

    1

    h-index

  5. Annals of Operations Research

    1 publications · 17 citations

    1

    h-index

1–5