Type error slicing in implicitly typed higher-order languages

被引：0

作者：

Haack, C ^{[1
]}

Wells, JB ^{[1
]}

机构：

[1] Heriot Watt Univ, Edinburgh EH14 4AS, Midlothian, Scotland

来源：

PROGRAMMING LANGUAGES AND SYSTEMS | 2003年 / 2618卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that identifies the location of a type error as a set of program points (a slice) all of which are necessary for the type error. We describe algorithms for finding minimal type error slices for implicitly typed higher-order languages like Standard ML.

引用

页码：284 / 301

页数：18

共 50 条

[1] Type error slicing in implicitly typed higher-order languages
Haack, C
Wells, JB
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2004, 50 (1-3) : 189 - 224
[2] Behavioural equivalence and indistinguishability in higher-order typed languages
Katsumata, S
[J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 284 - 298
[3] Security type error diagnosis for higher-order, polymorphic languages
Weijers, Jeroen
Hage, Jurriaan
Holdermans, Stefan
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 200 - 218
[4] BINDING TIME ANALYSIS FOR POLYMORPHICALLY TYPED HIGHER-ORDER LANGUAGES
MOGENSEN, TAE
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 298 - 312
[5] Typed higher-order narrowing without higher-order strategies
Antoy, S
Tolmach, A
[J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
[6] Pure type systems in rewriting logic: Specifying typed higher-order languages in a first-order logical framework
Stehr, MO
Meseguer, J
[J]. FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 334 - 375
[7] Semantic navigation of large code bases in higher-order, dynamically typed languages
Spoon, SA
Shivers, O
[J]. WCRE: 12th Working Conference on Reverse Engineering 2005, Proceedings, 2005, : 219 - 228
[8] Permission-based ownership: Encapsulating state in higher-order typed languages
Krishnaswami, N
Aldrich, J
[J]. ACM SIGPLAN NOTICES, 2005, 40 (06) : 96 - 106
[9] Higher-order lazy functional slicing
Rodrigues, Nuno F.
Barbosa, Luis S.
[J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (06) : 854 - 873
[10] A typed semantics of higher-order store and subtyping
Schwinghammer, J
[J]. THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3701 : 390 - 405

← 1 2 3 4 5 →