STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS

被引：63
|
作者：
BURN, GL
HANKIN, C
ABRAMSKY, S
机构：
[1] GEC,HIRST RES CTR,WEMBLEY HA9 7PP,MIDDX,ENGLAND
[2] UNIV LONDON IMPERIAL COLL SCI & TECHNOL,DEPT COMP,LONDON SW7 2BZ,ENGLAND
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1986年 / 7卷 / 03期
关键词：
D O I：
10.1016/0167-6423(86)90010-9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：249 / 278
页数：30
相关论文
共 50 条
  • [1] THE THEORY OF STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS
    BURN, GL
    HANKIN, CL
    ABRAMSKY, S
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 217 : 42 - 62
  • [2] Derivation and inference of higher-order strictness types
    Smetsers, Sjaak
    van Eekelen, Marko
    [J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2015, 44 : 166 - 180
  • [3] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [4] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    [J]. LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [5] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [6] A logical analysis of aliasing in imperative higher-order functions
    Berger, M
    Honda, K
    Yoshida, N
    [J]. ACM SIGPLAN NOTICES, 2005, 40 (09) : 280 - 293
  • [7] A logical analysis of aliasing in imperative higher-order functions
    Berger, Martin
    Honda, Kohei
    Yoshida, Nobuko
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 473 - 546
  • [8] HIGHER-ORDER DERIVATIVES OF CONNECTED FUNCTIONS
    HUSTY, Z
    [J]. CZECHOSLOVAK MATHEMATICAL JOURNAL, 1990, 40 (03) : 528 - 533
  • [9] The higher-order derivatives of spectral functions
    Sendov, Hristo S.
    [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2007, 424 (01) : 240 - 281
  • [10] HIGHER-ORDER ANGULAR COHERENCE FUNCTIONS
    AGRAWAL, GP
    [J]. NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-BASIC TOPICS IN PHYSICS, 1973, B 18 (02): : 265 - 276
12345