A NOTE ON HIGHER-ORDER FUNCTIONS VERSUS LOGICAL VARIABLES

被引：1
|
作者：
BURTON, FW
机构：
来源：
INFORMATION PROCESSING LETTERS | 1989年 / 31卷 / 02期
关键词：
D O I：
10.1016/0020-0190(89)90074-4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：91 / 95
页数：5
相关论文
共 50 条
  • [1] LOGICAL REASONING FOR HIGHER-ORDER FUNCTIONS WITH LOCAL STATE
    Yoshida, Nobuko
    Honda, Kohei
    Berger, Martin
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (04)
  • [2] Logical reasoning for higher-order functions with local state
    Yoshida, Nobuko
    Honda, Kohei
    Berger, Martin
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2007, 4423 : 361 - +
  • [3] 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
  • [4] 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
  • [5] A NOTE ON HIGHER-ORDER TRANSFER-FUNCTIONS
    FRANK, WA
    [J]. MECHANICAL SYSTEMS AND SIGNAL PROCESSING, 1994, 8 (01) : 109 - 111
  • [6] On higher-order logical grounds
    Fritz, Peter
    [J]. ANALYSIS, 2020, 80 (04): : 656 - 666
  • [7] A NOTE ON HIGHER-ORDER TRANSFER-FUNCTIONS - REPLY
    TOMLINSON, GR
    STORER, DM
    [J]. MECHANICAL SYSTEMS AND SIGNAL PROCESSING, 1994, 8 (01) : 113 - 116
  • [8] A NOTE ON HIGHER-ORDER AVERAGING
    VERHULST, F
    [J]. INTERNATIONAL JOURNAL OF NON-LINEAR MECHANICS, 1988, 23 (5-6) : 341 - 346
  • [9] A logical characterization for linear higher-order processes
    Xu X.
    Long H.
    [J]. Journal of Shanghai Jiaotong University (Science), 2015, 20 (2) : 185 - 194
  • [10] A Logical Characterization for Linear Higher-Order Processes
    徐贤
    龙环
    [J]. Journal of Shanghai Jiaotong University(Science), 2015, 20 (02) : 185 - 194
12345