Adapting functional programs to higher order logic

被引：10
|
作者：
School of Computing, University of Utah, Salt Lake City, United States [1 ]
机构：
来源：
High Order Symbol Comput | 2008年 / 4卷 / 377-409期
关键词：
Formal logic;
D O I：
10.1007/s10990-008-9038-0
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Temporal Verification of Higher-Order Functional Programs
    Murase, Akihiro
    Terauchi, Tachio
    Kobayashi, Naoki
    Sato, Ryosuke
    Unno, Hiroshi
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 57 - 68
  • [22] Termination analysis of higher-order functional programs
    Sereni, D
    Jones, ND
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 281 - 297
  • [23] Staged Specification Logic for Verifying Higher-Order Imperative Programs
    Foo, Darius
    Song, Yahui
    Chin, Wei-Ngan
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 501 - 518
  • [24] EXTENSION AL SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMS WITH NEGATION
    Rondogiannis, Panos
    Symeonidou, Ioanna
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (02)
  • [25] Program logic for higher-order probabilistic programs in Isabelle/HOL
    Hirata, Michikazu
    Minamide, Yasuhiko
    Sato, Tetsuya
    SCIENCE OF COMPUTER PROGRAMMING, 2023, 230
  • [26] Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL
    Hirata, Michikazu
    Minamide, Yasuhiko
    Sato, Tetsuya
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2022, 2022, 13215 : 57 - 74
  • [27] Flow analysis of lazy higher-order functional programs
    Jones, Neil D.
    Andersen, Nils
    THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 120 - 136
  • [28] On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs
    Dal Lago, Ugo
    Sangiorgi, Davide
    Alberti, Michele
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 297 - 308
  • [29] Automatic Termination Verification for Higher-Order Functional Programs
    Kuwahara, Takuya
    Terauchi, Tachio
    Unno, Hiroshi
    Kobayashi, Naoki
    PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 392 - 411
  • [30] Compiling Higher Order Functional Programs to Composable Digital Hardware
    Aguilar-Pelaez, Eduardo
    Bayliss, Samuel
    Smith, Alex
    Winterstein, Felix
    Ghica, Dan R.
    Thomas, David
    Constantinides, George A.
    2014 IEEE 22ND ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2014), 2014, : 234 - 234
12345