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 条
  • [21] HOTGP- Higher-Order Typed Genetic Programming
    Fernandes, Matheus Campos
    de Franca, Fabricio Olivetti
    Francesquini, Emilio
    [J]. PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, GECCO 2023, 2023, : 1091 - 1099
  • [22] Environmental Bisimulations for Probabilistic Higher-order Languages
    Sangiorgi, Davide
    Vignudelli, Valeria
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019, 41 (04):
  • [23] QPCF: Higher-Order Languages and Quantum Circuits
    Paolini, Luca
    Piccolo, Mauro
    Zorzi, Margherita
    [J]. JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 941 - 966
  • [24] A REDUCTION SEMANTICS FOR IMPERATIVE HIGHER-ORDER LANGUAGES
    FELLEISEN, M
    FRIEDMAN, DP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 206 - 223
  • [25] QPCF: Higher-Order Languages and Quantum Circuits
    Luca Paolini
    Mauro Piccolo
    Margherita Zorzi
    [J]. Journal of Automated Reasoning, 2019, 63 : 941 - 966
  • [26] Graph IRs for Impure Higher-Order Languages
    Bracevac, Oliver
    Wei, Guannan
    Jia, Songlin
    Abeysinghe, Supun
    Jiang, Yuxuan
    Bao, Yuyan
    Rompf, Tiark
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
  • [27] The semantic view of theories and higher-order languages
    Hudetz, Laurenz
    [J]. SYNTHESE, 2019, 196 (03) : 1131 - 1149
  • [28] ABSTRACT DEBUGGING OF HIGHER-ORDER IMPERATIVE LANGUAGES
    BOURDONCLE, F
    [J]. SIGPLAN NOTICES, 1993, 28 (06): : 46 - 55
  • [29] The semantic view of theories and higher-order languages
    Laurenz Hudetz
    [J]. Synthese, 2019, 196 : 1131 - 1149
  • [30] Concolic Testing of Higher-order Functional Languages
    Sagonas, Konstantinos
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (296): : 2 - 2
12345