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 条
  • [21] Generalized higher-order cone-convex functions and higher-order duality in vector optimization
    S. K. Suneja
    Sunila Sharma
    Priyanka Yadav
    Annals of Operations Research, 2018, 269 : 709 - 725
  • [22] Partial recursive functions in Higher-Order Logic
    Krauss, Alexander
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
  • [23] NURBS Modeling for Higher-Order Basis Functions
    Liu, Zi-liang
    Yang, Juan
    APMC: 2009 ASIA PACIFIC MICROWAVE CONFERENCE, VOLS 1-5, 2009, : 76 - +
  • [24] Higher-Order Rank Functions on Directed Graphs
    Kashiwabara, Kenji
    Horie, Ikumi
    Yamaguchi, Kazunori
    FUNDAMENTA INFORMATICAE, 2020, 173 (01) : 1 - 31
  • [25] BIAS CORRECTION AND HIGHER-ORDER KERNEL FUNCTIONS
    FAN, JQ
    HU, TC
    STATISTICS & PROBABILITY LETTERS, 1992, 13 (03) : 235 - 243
  • [26] ON THE DERIVATION OF HIGHER-ORDER CORRELATION-FUNCTIONS
    BONOMETTO, SA
    SHARP, NA
    ASTRONOMY & ASTROPHYSICS, 1980, 92 (1-2) : 222 - 224
  • [27] Higher-order automatic differentiation of mathematical functions
    Charpentier, Isabelle
    Dal Cappello, Claude
    COMPUTER PHYSICS COMMUNICATIONS, 2015, 189 : 66 - 71
  • [28] Subordination for Higher-Order Derivatives of Multivalent Functions
    Ali, Rosihan M.
    Badghaish, Abeer O.
    Ravichandran, V.
    JOURNAL OF INEQUALITIES AND APPLICATIONS, 2008, 2008 (1)
  • [29] Verifying Higher-Order Functions with Tree Automata
    Genet, Thomas
    Haudebourg, Timothee
    Jensen, Thomas
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 565 - 582
  • [30] Developing Behavioral Concepts of Higher-Order Functions
    Krishnamurthi, Shriram
    Fisler, Kathi
    ICER 2021: PROCEEDINGS OF THE 17TH ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, 2021, : 306 - 318
12345