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 条
  • [41] 1ST-ORDER SEMANTICS FOR HIGHER-ORDER LANGUAGES
    KASBAUER, M
    CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1977, 9 (25): : 59 - 71
  • [42] FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS
    RAMESH, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 629 : 463 - 471
  • [43] Applying Quantitative Semantics to Higher-Order Quantum Computing
    Pagani, Michele
    Selinger, Peter
    Valiron, Benoit
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 647 - 658
  • [44] Higher-Order Argumentation Frameworks: Principles and Gradual Semantics
    Amgoud, Leila
    Doder, Dragan
    Lagasquie-Schiex, Marie-Christine
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 3224 - 3231
  • [45] Contextual Labelled Semantics for Higher-order Process Calculi
    Li, Yongjian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (01) : 61 - 77
  • [46] A Modular Semantics for Higher-Order Declarative Programming with Constraints
    del Vado Virseda, Rafael
    Perez Morente, Fernando
    PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 41 - 51
  • [47] Initial Semantics for higher-order typed syntax in Coq
    Ahrens, Benedikt
    Zsido, Julianna
    JOURNAL OF FORMALIZED REASONING, 2011, 4 (01): : 25 - 69
  • [48] Weak Similarity in Higher-Order Mathematical Operational Semantics
    Urbat, Henning
    Tsampas, Stelios
    Goncharov, Sergey
    Milius, Stefan
    Schroeder, Lutz
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [49] Topos Semantics for a Higher-order Temporal Logic of Actions
    Johnson-Freyd, Philip
    Aytac, Jon
    Hulette, Geoffrey
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (323): : 161 - 171
  • [50] The Stable Model Semantics for Higher-Order Logic Programming
    Bogaerts, Bart
    Charalambidis, Angelos
    Chatziagapis, Giannos
    Kostopoulos, Babis
    Pollaci, Samuele
    Rondogiannis, Panos
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, 24 (04) : 737 - 754
12345