.png){kind=icon}
返回
A slicing-based approach for locating type errors
.png){kind=icon}
OA
AI
DOI：10.1145/366378.366379.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The effectiveness of a type-checking tool strongly depends on the accuracy of the positional information that is associated with type errors. We present an approach where the location associated with an error message e is defined as a slice P-e of the program P being type-checked. We show that this approach yields highly accurate positional information: P-e is a program that contains precisely those program constructs in P that caused error e. Semantically, we have the interesting property that type-checking P-e is guaranteed to produce the same error e. Our approach is completely language-independent and has been implemented for a significant subset of Pascal. We also report on experiments with object-oriented type systems, and with a subset of ML.
Keyword:
semantics-based tool generation
program slicing
type-checking
static semantics
abstract interpretation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
查看更多内容