Programming language elements for correctness proofs

被引：0

|

作者：

Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary ^{[1
]}

机构：

来源：

Acta Cybern | 2008年 / 3卷 / 403-425期

关键词：

25;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Programming Language Elements for Correctness Proofs
Devai, Gergely
ACTA CYBERNETICA, 2008, 18 (03): : 403 - 425
[2] AN ABSTRACT PROGRAMMING LANGUAGE AND CORRECTNESS PROOFS
LIU, SY
COMPUTER LANGUAGES, 1993, 18 (04): : 273 - 282
[3] PROPRE - A PROGRAMMING LANGUAGE WITH PROOFS
MANOURY, P
PARIGOT, M
SIMONOT, M
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 484 - 486
[4] A Blocks-based Language for Program Correctness Proofs
Osera, Peter-Michael
Wonnacott, David G.
2017 IEEE BLOCKS AND BEYOND WORKSHOP (B&B), 2017, : 49 - 52
[5] Programming Language Techniques for Cryptographic Proofs
Barthe, Gilles
Gregoire, Benjamin
Beguelin, Santiago Zanella
INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 115 - +
[6] PROOFS OF PARTIAL CORRECTNESS FOR ATTRIBUTE GRAMMARS WITH APPLICATIONS TO RECURSIVE PROCEDURES AND LOGIC PROGRAMMING
COURCELLE, B
DERANSART, P
INFORMATION AND COMPUTATION, 1988, 78 (01) : 1 - 55
[7] THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE
Wu, Hengyang
Chen, Yixiang
QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 223 - 230
[8] CORRECTNESS PROOFS FOR ABSTRACT IMPLEMENTATIONS
BERNOT, G
INFORMATION AND COMPUTATION, 1989, 80 (02) : 121 - 151
[9] CORRECTNESS PROOFS OF CSP PROGRAMS
SOUNDARARAJAN, N
THEORETICAL COMPUTER SCIENCE, 1983, 24 (02) : 131 - 141
[10] ABSTRACT IMPLEMENTATIONS AND CORRECTNESS PROOFS
BERNOT, G
BIDOIT, M
CHOPPY, C
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 210 : 236 - 251

← 1 2 3 4 5 →