Navigation

  • index
  • next |
  • categorization documentation »
  • Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

Contents

  • Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
    • Contents

Next topic

Symptoms

This Page

  • Show Source
  1. Docs
  2. Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers

Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers¶

This is the documentation of the categorization proposed in the OOPSLA’21 paper titled “Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers”.

Contents¶

  • Symptoms
    • Unexpected Compile-Time Error
    • Internal Compiler Error
    • Unexpected Runtime Behavior
    • Misleading Report
    • Compilation Performance Issue
  • Bug Causes
    • Type-related Bugs
    • Semantic Analysis Bugs
    • Resolution Bugs
    • Bugs Related to Error Handling and Reporting
    • AST Transformation Bugs
  • Types of Errors
    • Logic Errors
    • Algorithmic Errors
    • Language Design Errors
    • Programming Errors
  • Test Case Characteristics
    • Standard Language Features
    • Object-Oriented Programming (OOP) Features
    • Functional Programming Features
    • Parametric Polymorphism
    • Type Inference Features
    • Type System-Related Features
    • Standard Library
    • Other
Symptoms

Navigation

  • index
  • next |
  • categorization documentation »
  • Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
© Copyright 2021, S. Chaliasos, T. Sotiropoulos, G. Drosos, C. Mitropoulos, D. Mitropoulos, D. Spinellis. Created using Sphinx.