Mining the use of higher-order functions:: An exploratory study on Scala programs

被引：0
|
作者：
机构：
[1] Xu, Yisen
[2] Wu, Fan
[3] Jia, Xiangyang
[4] Li, Lingbo
[5] Xuan, Jifeng
来源：
Xuan, Jifeng (jxuan@whu.edu.cn) | 1600年 / Springer卷 / 25期
基金：
中国国家自然科学基金;
关键词：
Regression analysis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Mining the use of higher-order functions: An exploratory study on Scala programs
    Xu, Yisen
    Wu, Fan
    Jia, Xiangyang
    Li, Lingbo
    Xuan, Jifeng
    EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (06) : 4547 - 4584
  • [2] Mining the use of higher-order functions:An exploratory study on Scala programs
    Yisen Xu
    Fan Wu
    Xiangyang Jia
    Lingbo Li
    Jifeng Xuan
    Empirical Software Engineering, 2020, 25 : 4547 - 4584
  • [3] Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers
    Yi-Sen Xu
    Xiang-Yang Jia
    Fan Wu
    Lingbo Li
    Ji-Feng Xuan
    Journal of Computer Science and Technology, 2020, 35 : 1278 - 1294
  • [4] Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers
    Xu, Yi-Sen
    Jia, Xiang-Yang
    Wu, Fan
    Li, Lingbo
    Xuan, Ji-Feng
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 35 (06) : 1278 - 1294
  • [5] Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
    Kobayashi, Naoki
    ACM SIGPLAN NOTICES, 2009, 44 (01) : 416 - 428
  • [6] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [7] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [8] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [9] Relational semantics for higher-order programs
    Aboul-Hosn, Kamal
    Kozen, Dexter
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2006, 4014 : 29 - 48
  • [10] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
12345