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 条
  • [1] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [2] Semantics of Higher-Order Probabilistic Programs with Conditioning
    Dahlqvist, Fredrik
    Kozen, Dexter
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
  • [3] Extensional Semantics for Higher-Order Logic Programs with Negation
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 447 - 462
  • [4] EXTENSION AL SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMS WITH NEGATION
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
  • [5] Higher-order semantics and extensionality
    Benzmüller, C
    Brown, CE
    Kohlhase, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (04) : 1027 - 1088
  • [6] Relational Semantics for Effect-Based Program Transformations: Higher-Order Store
    Benton, Nick
    Kennedy, Andrew
    Beringer, Lennart
    Hofmann, Martin
    [J]. PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, 2009, : 301 - 311
  • [7] The intricacies of three-valued extensional semantics for higher-order logic programs
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 974 - 991
  • [8] The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5344 - 5348
  • [9] SEMANTICS OF HIGHER-ORDER RECURSION SCHEMES
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
  • [10] Semantic values in higher-order semantics
    Stephan Krämer
    [J]. Philosophical Studies, 2014, 168 : 709 - 724
12345