THE THEORY OF STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS

被引：0
|
作者：
BURN, GL [1 ]
HANKIN, CL [1 ]
ABRAMSKY, S [1 ]
机构：
[1] UNIV LONDON IMPERIAL COLL SCI & TECHNOL,DEPT COMP,LONDON SW7 2BZ,ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 217卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：42 / 62
页数：21
相关论文
共 50 条
  • [1] STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS
    BURN, GL
    HANKIN, C
    ABRAMSKY, S
    SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (03) : 249 - 278
  • [2] Derivation and inference of higher-order strictness types
    Smetsers, Sjaak
    van Eekelen, Marko
    COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2015, 44 : 166 - 180
  • [3] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
    FORSTER, T
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
  • [4] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [5] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [6] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [7] A logical analysis of aliasing in imperative higher-order functions
    Berger, M
    Honda, K
    Yoshida, N
    ACM SIGPLAN NOTICES, 2005, 40 (09) : 280 - 293
  • [8] A logical analysis of aliasing in imperative higher-order functions
    Berger, Martin
    Honda, Kohei
    Yoshida, Nobuko
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2007, 17 : 473 - 546
  • [9] HIGHER-ORDER LEVERMORE THEORY
    POMRANING, GC
    JOURNAL OF QUANTITATIVE SPECTROSCOPY & RADIATIVE TRANSFER, 1984, 32 (03): : 185 - 190
  • [10] HIGHER-ORDER THEORY OF GRAVITATION
    PANDEY, SN
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1988, 27 (06) : 695 - 702
12345