Transcription of A Type-Directed Approach to Program Repair
{{id}} {{{paragraph}}}
Example: dental hygienist
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. Such mistakes occur mainly because modern libraries often evolveinto complex application programming interfaces (APIs) that provide a large number ofdeclarations.
2 Alex Reinking and Ruzica Piskac as opposed to just types. In a way, the connections to each function node models its succinct type as described in [3].
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
Related search queries
SAS SUBSTR Function - A Beginner's, SAS SUBSTR Function –A Beginner’s, Towards support for attributes in, Function, Reading and Writing Data Using REXX EXECIO, Variable, Python, SATO XML-enabled 4, By Step Procedure for Matching Addresses/Names, ByStep Procedure for Matching Addresses/Names, UEFI Shell Specification, Introduction to