A Type-Directed Approach to Program Repair

A Type-Directed Approach to Program Repair
复制标题

程序修复的类型导向方法

DOI：
--
复制
发表时间：
2015
期刊：
International Conference on Computer Aided Verification
影响因子：
--
通讯作者：
R. Piskac
R. Piskac
中科院分区：
--
文献类型：
--
作者：
Alex Reinking;R. Piskac

文献摘要

被引文献

相似文献

Developing enterprise software often requires composing several libraries together with a large body of in-house code. Large APIs introduce a steep learning curve for new developers as a result of their complex object-oriented underpinnings. While the written code in general reflects a programmer’s intent, due to 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 updated. We describe an algorithm that automatically repairs such errors, and discuss its application to common problems in software engineering. Open image in new window