Soundness and Completeness Proofs by Coinductive Methods

被引：0
|
作者：
机构：
[1] [1,Blanchette, Jasmin Christian
[2] 3,Popescu, Andrei
[3] Traytel, Dmitriy
来源：
Traytel, Dmitriy (traytel@inf.ethz.ch) | 1600年 / Springer Science and Business Media B.V.卷 / 58期
关键词：
Number:; NI; 491/13-3; Acronym:; -; Sponsor:; 713999; H2020; Sponsor: Horizon 2020 Framework Programme; EP/N019547/1; EPSRC; Sponsor: Engineering and Physical Sciences Research Council; 491/14-1; DFG; Sponsor: Deutsche Forschungsgemeinschaft;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Type Soundness Proofs with Definitional Interpreters
    Amin, Nada
    Rompf, Tiark
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 666 - 679
  • [22] Type soundness proofs with definitional interpreters
    Amin N.
    Rompf T.
    2017, Association for Computing Machinery (52): : 666 - 679
  • [23] Coinduction Inductively Mechanizing Coinductive Proofs in Liquid Haskell
    Mastorou, Lykourgos
    Papaspyrou, Nikolaos
    Vazou, Niki
    PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL HASKELL SYMPOSIUM, HASKELL 2022, 2022, : 1 - 12
  • [24] Using a generalisation critic to find bisimulations for coinductive proofs
    Dennis, L
    Bundy, A
    Green, I
    AUTOMATED DEDUCTION - CADE-14, 1997, 1249 : 276 - 290
  • [25] On the soundness and completeness of equational predicate logics
    Tourlakis, G
    JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (04) : 623 - 653
  • [26] On Inductive and Coinductive Proofs via Unfold/Fold Transformations
    Seki, Hirohisa
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 82 - 96
  • [27] Probabilistic Termination Soundness, Completeness, and Compositionality
    Fioriti, Luis Maria Ferrer
    Hermanns, Holger
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 489 - 501
  • [28] Importing Logics: Soundness and Completeness Preservation
    J. Rasga
    A. Sernadas
    C. Sernadas
    Studia Logica, 2013, 101 : 117 - 155
  • [29] Importing Logics: Soundness and Completeness Preservation
    Rasga, J.
    Sernadas, A.
    Sernadas, C.
    STUDIA LOGICA, 2013, 101 (01) : 117 - 155
  • [30] Soundness and completeness versus lifting property
    Plaza, J.A.
    Lecture Notes in Computer Science, 1138
12345