Coinductive techniques for higher-order languages

被引：0
|
作者：
Sangiorgi, Davide [1 ,2 ]
机构：
[1] Univ Bologna, Bologna, Italy
[2] INRIA, Paris, France
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2013年 / 131期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / +
页数：5
相关论文
共 50 条
  • [1] Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses
    Jochems, Jerome
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (344): : 36 - 64
  • [2] On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
    Dal Lago, Ugo
    Sangiorgi, Davide
    Alberti, Michele
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 297 - 308
  • [3] Environmental Bisimulations for Higher-Order Languages
    Sangiorgi, Davide
    Kobayashi, Naoki
    Sumii, Eijiro
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 33 (01):
  • [4] EFFECT ANALYSIS IN HIGHER-ORDER LANGUAGES
    NEIRYNCK, A
    PANANGADEN, P
    DEMERS, AJ
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1989, 18 (01) : 1 - 36
  • [5] Higher-Order Operator Precedence Languages
    Reghizzi, Stefano Crespi
    Pradella, Matteo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (252): : 86 - 100
  • [6] Environmental bisimulations for higher-order languages
    Sangiorgi, Davide
    Kobayashi, Naoki
    Sumii, Eijiro
    22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 293 - +
  • [7] Environmental Bisimulations for Probabilistic Higher-order Languages
    Sangiorgi, Davide
    Vignudelli, Valeria
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2019, 41 (04):
  • [8] QPCF: Higher-Order Languages and Quantum Circuits
    Paolini, Luca
    Piccolo, Mauro
    Zorzi, Margherita
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (04) : 941 - 966
  • [9] A REDUCTION SEMANTICS FOR IMPERATIVE HIGHER-ORDER LANGUAGES
    FELLEISEN, M
    FRIEDMAN, DP
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 206 - 223
  • [10] Graph IRs for Impure Higher-Order Languages
    Bracevac, Oliver
    Wei, Guannan
    Jia, Songlin
    Abeysinghe, Supun
    Jiang, Yuxuan
    Bao, Yuyan
    Rompf, Tiark
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA):
12345