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 条

[31] From Logic to Functional Logic Programs
Hanus, Michael
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
[32] Verifying termination and reduction properties about higher-order logic programs
Pientka, B
JOURNAL OF AUTOMATED REASONING, 2005, 34 (02) : 179 - 207
[33] Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Brigitte Pientka
Journal of Automated Reasoning, 2005, 34 : 179 - 207
[34] Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
Avanzini, Martin
Dal Lago, Ugo
Moser, Georg
PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 152 - 164
[35] Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order
Avanzini, Martin
Dal Lago, Ugo
Moser, Georg
ACM SIGPLAN NOTICES, 2015, 50 (09) : 152 - 164
[36] A complete narrowing calculus for higher-order functional logic programming
Nakahara, K
Middeldorp, A
Ida, T
PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS AND PROGRAMS, 1995, 982 : 97 - 114
[37] Automating Relatively Complete Verification of Higher-Order Functional Programs
Unno, Hiroshi
Terauchi, Tachio
Kobayashi, Naoki
ACM SIGPLAN NOTICES, 2013, 48 (01) : 75 - 86
[38] A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Arroyo, Gustavo
Guadalupe Ramos, J.
Tamarit, Salvador
Vidal, German
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2009, 5438 : 40 - +
[39] Generating Reversible Circuits from Higher-Order Functional Programs
Valiron, Benoit
REVERSIBLE COMPUTATION, RC 2016, 2016, 9720 : 289 - 306
[40] Automatically Disproving Fair Termination of Higher-Order Functional Programs
Watanabe, Keiichi
Sato, Ryosuke
Tsukada, Takeshi
Kobayashi, Naoki
ACM SIGPLAN NOTICES, 2016, 51 (09) : 243 - 255

← 1 2 3 4 5 →