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 条
  • [41] A NOTE ON HIGHER-ORDER TRANSFER-FUNCTIONS
    FRANK, WA
    MECHANICAL SYSTEMS AND SIGNAL PROCESSING, 1994, 8 (01) : 109 - 111
  • [42] Plan Composition Using Higher-Order Functions
    Rivera, Elijah
    Krishnamurthi, Shriram
    Goldstone, Robert
    PROCEEDINGS OF THE 2022 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, ICER 2022, VOL. 1, 2023, : 84 - 104
  • [43] Proving and disproving termination of higher-order functions
    Giesl, J
    Thiemann, R
    Schneider-Kamp, P
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2005, 3717 : 216 - 231
  • [44] ANALYTIC CONTINUATIONS OF HIGHER-ORDER HYPERGEOMETRIC FUNCTIONS
    OLSSON, POM
    JOURNAL OF MATHEMATICAL PHYSICS, 1966, 7 (04) : 702 - &
  • [45] UNIQUENESS PROPERTIES OF HIGHER-ORDER AUTOCORRELATION FUNCTIONS
    YELLOTT, JI
    IVERSON, GJ
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1992, 9 (03): : 388 - 404
  • [46] Model-Checking Higher-Order Functions
    Kobayashi, Naoki
    PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 25 - 36
  • [47] Generalised antenna functions for higher-order calculations
    Elliot Fox
    Nigel Glover
    Matteo Marcoli
    Journal of High Energy Physics, 2024 (12)
  • [48] Higher-order basis functions for MoM calculations
    Eastwood, J. W.
    Morgan, J. G.
    IET SCIENCE MEASUREMENT & TECHNOLOGY, 2008, 2 (06) : 379 - 386
  • [49] Synthesizable Higher-Order Functions for C plus
    Richmond, Dustin
    Althoff, Alric
    Kastner, Ryan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (11) : 2835 - 2844
  • [50] Higher-order approximations to conditional distribution functions
    Kolassa, JE
    ANNALS OF STATISTICS, 1996, 24 (01): : 353 - 364
12345