Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Reports, Documentation, and Standards
  4. On Repairing Ill-Typed Expressions
 
report

On Repairing Ill-Typed Expressions

Gvero, Tihomir  
•
Kuraj, Ivan  
•
Piskac, Ruzica  
2013

When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expressions based on the provided almost-correct code. Such a code repair can be applied in interactive scenarios like advanced code completion, as well as in automated repair in the compilation process. We formally define the problem of automatically repairing ill-typed expressions. For the certain class of problems we describe a polynomial time synthesis algorithm that returns the best well-typed expression corresponding to the given ill-typed expression. We also present a complete algorithm that takes as input an ill-typed expression and returns the desired number of type-correct expressions that are closest to the input expression. We simultaneously fix all the type errors in the expression.

  • Files
  • Details
  • Metrics
Type
report
Author(s)
Gvero, Tihomir  
Kuraj, Ivan  
Piskac, Ruzica  
Date Issued

2013

Total of pages

20

Subjects

Software repair

•

Corrections

•

Type-checking

•

Synthesis

Written at

EPFL

EPFL units
LARA  
Available on Infoscience
October 25, 2013
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/96424
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés