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 条
  • [21] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [22] Static parallelization of functional programs: Elimination of higher-order functions & optimized inlining
    Herrmann, CA
    Laitenberger, J
    Lengauer, C
    Schaller, C
    EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 930 - 934
  • [23] Spontaneous perceptual alternations and higher-order cognitive processes: an exploratory study
    Saracini, Chiara
    Arriagada-Modinger, Francia
    Lucero, Boris
    COGNITIVE PROCESSING, 2025,
  • [24] STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS
    BURN, GL
    HANKIN, C
    ABRAMSKY, S
    SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (03) : 249 - 278
  • [25] HIGHER-ORDER DERIVATIVES OF CONNECTED FUNCTIONS
    HUSTY, Z
    CZECHOSLOVAK MATHEMATICAL JOURNAL, 1990, 40 (03) : 528 - 533
  • [26] The higher-order derivatives of spectral functions
    Sendov, Hristo S.
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2007, 424 (01) : 240 - 281
  • [27] HIGHER-ORDER ANGULAR COHERENCE FUNCTIONS
    AGRAWAL, GP
    NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-BASIC TOPICS IN PHYSICS, 1973, B 18 (02): : 265 - 276
  • [28] Arithmetic functions of higher-order primes
    Czarnecki, Kyle
    Giddings, Andrew
    INVOLVE, A JOURNAL OF MATHEMATICS, 2020, 13 (02): : 181 - 191
  • [29] Higher-order homogeneous functions: Classification
    Krupka, Demeter
    PUBLICATIONES MATHEMATICAE-DEBRECEN, 2021, 99 (3-4): : 495 - 505
  • [30] CHARACTERISTIC FUNCTIONS AND HIGHER-ORDER LAGRANGIANS
    BUCHDAHL, HA
    JOURNAL OF MATHEMATICAL PHYSICS, 1988, 29 (05) : 1122 - 1126
12345