.png){kind=icon}
返回
Static correction of Maude programs with assertions
.png){kind=icon}
OA
AI
DOI：10.1016/j.jss.2019.03.061.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that is given in the form of assertions together with an overly general program R whose execution might violate the assertions. Our correction technique translates R into a refined program R' in which every computation is also a computation in R, that satisfies the assertions of A. The technique is first formalized for topmost rewrite theories, and then we generalize it to larger classes of rewrite theories that support nested structured configurations. Our technique copes with infinite space states and does not require the knowledge of any failing run. We report experiments that assess the effectiveness of assertion-driven correction. (C) 2019 Elsevier Inc. All rights reserved.
Keyword:
Program repair
Assertion checking
Program transformation
Rewriting logic
Equational rewriting
Maude
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
5.5K
被引数:
8.4K
机构
引用论文
.png){kind=icon}
Simple binary optical elements for aberration correction in confocal microscopy用于共焦显微镜像差校正的简单二元光学元件
PREAI
分享收藏Impact of Gate-Aperture Overlap on the Channel-Pinch Off in InGaAs/InGaN-Based Bonded Aperture Vertical Electron Transistor栅-孔径重叠对InGaAs/InGaN基键合孔径垂直电子晶体管沟道夹断的影响
PREAI
分享收藏 没有更多内容
没有更多内容