Transcription of A Type-Directed Approach to Program Repair
{{id}} {{{paragraph}}}
Example: biology
A Type-Directed Approach to Program Repair
A Type-Directed Approach to Program RepairAlex Reinking and Ruzica PiskacYale enterprise software often requires composing several li-braries together with a large body of in-house code. Large APIs introduce a steeplearning curve for new developers as a result of their complex object-oriented un-derpinnings. While the written code in general reflects a programmer s intent, dueto evolutions in an API, code can often become ill-typed, yet still syntactically-correct. Such code fragments will no longer compile, and will need to be describe an algorithm that automatically repairs such errors, and discuss itsapplication to common problems in software IntroductionWhile coding, a developer often knows the approximate structure of the expression sheis working on, but may yet write code that does not compile because some fragmentsare not well-typed.
A Type-Directed Approach to Program Repair 3 Here, the repair wraps the extra arguments in a call to the Deflater constructor from the Java API. Notice that even though Deflater was not previously present in the ex- pression, our repair algorithm was able to discover it by examining the valid constructor
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
A Step-by-Step Approach - i-Tree, Sustainable Urban Forest, A Step, By-Step Approach, Tree Planting, Tree, Step approach, Problem Solving Approach, Step, The Craft of Tree Felling, Technical guidelines on tropical fruit tree, HACCP Manual, Logical Framework, Image processing and data analysis The multiscale, Image processing and data analysis The multiscale approach