Relational semantics for higher-order programs

被引：0
|
作者：
Aboul-Hosn, Kamal [1 ]
Kozen, Dexter [1 ]
机构：
[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA
来源：
MATHEMATICS OF PROGRAM CONSTRUCTION | 2006年 / 4014卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Most previous work on the semantics of higher-order programs with local state involves complex storage modeling with pointers and memory cells, complicated categorical constructions, or reasoning in the presence of context. In this paper we show how a relatively simple relational semantics can be used to avoid these complications. We provide a natural relational semantics for a programming language with higher-order functions. The semantics is purely compositional, with all contextual considerations completely encapsulated in the state. We show several equivalence proofs using this semantics based on examples of Meyer and Sieber (1988).
引用
收藏
页码：29 / 48
页数：20
相关论文
共 50 条
  • [31] MACHINE LEARNING OF HIGHER-ORDER PROGRAMS
    BALIGA, G
    CASE, J
    JAIN, S
    SURAJ, M
    JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (02) : 486 - 500
  • [32] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [33] VERIFICATION OF PROGRAMS WITH HIGHER-ORDER ARRAYS
    KOWALCZYK, W
    URZYCZYN, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 251 - 258
  • [34] Visualizing the performance of higher-order programs
    Waddell, O
    Ashley, JM
    ACM SIGPLAN NOTICES, 1998, 33 (07) : 75 - 82
  • [35] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [36] MACHINE LEARNING OF HIGHER-ORDER PROGRAMS
    BALIGA, G
    CASE, J
    JAIN, S
    SURAJ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 9 - 20
  • [37] STRONGLY NORMALIZING HIGHER-ORDER RELATIONAL QUERIES
    Ricciotti, Wilmer
    Cheney, James
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 18 (03) : 23:1 - 23:41
  • [38] PREDICATE TRANSFORMERS AND HIGHER-ORDER PROGRAMS
    NAUMANN, DA
    THEORETICAL COMPUTER SCIENCE, 1995, 150 (01) : 111 - 159
  • [39] A Relational Framework for Higher-Order Shape Analysis
    Kaki, Gowtham
    Jagannathan, Suresh
    ICFP'14: PROCEEDINGS OF THE 2014 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2014, : 311 - 324
  • [40] A Relational Framework for Higher-Order Shape Analysis
    Kaki, Gowtham
    Jagannathan, Suresh
    ACM SIGPLAN NOTICES, 2014, 49 (09) : 311 - 324
12345