Finding Minimum Type Error Sources. Zvonimir Pavlinovic Tim King Thomas Wies New York University. Motivating example. p rint_string : string -> unit. Error: This expression has type ‘a list but an expression was expected of type unit. [Zhang & Myers, POPL ‘14 ]. Problem?.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Finding Minimum Type Error Sources
Zvonimir Pavlinovic Tim King Thomas Wies
New York University
print_string: string -> unit
Error: This expression has type ‘a list but an expression was expected of type unit
[Zhang & Myers, POPL ‘14]
An error source is a set of program expressions that, once corrected, yield a well-typed program
Minimum Error Source
An error source with minimum cumulative weight
Computing Minimum Error Sources
Given a program and a compiler-provided ranking criterion, find a minimum error source subject to the criterion
input program and
15% increase in accuracy over OCaml
program size in LOC