AUTOMATIC VERIFICATION OF FUNCTIONAL PROGRAMS

被引：0

作者：

DROBUSHEVICH, GA

ZUBOVICH, KA

机构：

来源：

CYBERNETICS | 1990年 / 26卷 / 04期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

We propose an approach to verification of functional programs based on an example of methods and tools developed in functional programming. The program verification procedures and tools developed in the framework of this approach are described.

引用

页码：491 / 502

页数：12

共 50 条

[41] Automatic Verification of C and Java']Java Programs: SV-COMP 2019
Beyer, Dirk
[J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 133 - 155
[42] Automatic verification of pointer programs using grammar-based shape analysis
Lee, O
Yang, HS
Yi, KK
[J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3444 : 124 - 140
[43] Automatic verification of pointer programs using monadic second-order logic
Jensen, JL
Jorgensen, ME
Klarlund, N
Schwartzbach, MI
[J]. ACM SIGPLAN NOTICES, 1997, 32 (05) : 226 - 234
[44] AUTOMATIC GENERATION OF FUNCTIONAL LOGIC TEST PROGRAMS THROUGH SIMULATION
COLE, FB
[J]. IEEE COMPUTER GROUP NEWS, 1970, 3 (03): : 65 - &
[45] Automatic and Efficient Variability-Aware Lifting of Functional Programs
Shahin, Ramy
Chechik, Marsha
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
[46] Automating Relatively Complete Verification of Higher-Order Functional Programs
Unno, Hiroshi
Terauchi, Tachio
Kobayashi, Naoki
[J]. ACM SIGPLAN NOTICES, 2013, 48 (01) : 75 - 86
[47] Formal Verification of Programs in the Functional Data-flow Parallel Language
Kropacheva, M. S.
Legalov, A. I.
[J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2013, 47 (07) : 373 - 384
[48] RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Matsushita, Yusuke
Denis, Xavier
Jourdan, Jacques-Henri
Dreyer, Derek
[J]. PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 841 - 856
[49] Automated Verification of Functional Correctness of Race-Free GPU Programs
Kojima, Kensuke
Imanishi, Akifumi
Igarashi, Atsushi
[J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, VSTTE 2016, 2016, 9971 : 90 - 106
[50] Verification of non-functional programs using interpretations in type theory
Filliâtre, JC
[J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2003, 13 : 709 - 745

← 1 2 3 4 5 →