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 条
  • [31] TOrPEDO: witnessing model correctness with topological proofs
    Menghi, Claudio
    Rizzi, Alessandro Maria
    Bernasconi, Anna
    Spoletini, Paola
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (06) : 1039 - 1066
  • [32] RECURSIVE PROGRAMMING WITH PROOFS
    PARIGOT, M
    THEORETICAL COMPUTER SCIENCE, 1992, 94 (02) : 335 - 356
  • [33] Encoding the program correctness proofs as programs in PCC technology
    Pirzadeh, Heidar
    Dube, Danny
    SIXTH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST, PROCEEDINGS, 2008, : 121 - +
  • [34] Rigorous proofs of program correctness without formal logic
    Wadkins, J.R. Jefferson
    SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education), 1995, 27 (01):
  • [35] Automatic Functional Correctness Proofs for Functional Search Trees
    Nipkow, Tobias
    INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 307 - 322
  • [36] ProofChecker: An Accessible Environment for Automata Theory Correctness Proofs
    Stallmann, Matthias
    Balik, Suzanne
    Rodman, Robert
    Bahram, Sina
    Grace, Michael
    High, Susan
    ITICSE 2007: 12TH ANNUAL CONFERENCE ON INNOVATION & TECHNOLOGY IN COMPUTER SCIENCE EDUCATION: INCLUSIVE EDUCATION IN COMPUTER SCIENCE, 2007, : 48 - 52
  • [37] Mizar correctness proofs of generic fraction field arithmetic
    Schwarzweller, C
    GENERIC PROGRAMMING, 2000, 1766 : 178 - 191
  • [38] THE SOPHISTS ON THE CORRECTNESS OF LANGUAGE
    Tomaka, Kamila
    ROCZNIKI HUMANISTYCZNE, 2014, 62 (03): : 79 - 96
  • [39] Programming by contract: Designing for correctness
    McKim, JC
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1996, 9 (02): : 70 - &
  • [40] Correctness in programming. An example
    Alderighi, M.
    Sechi, G.R.
    Vaccaro, R.
    Valsecchi, M.
    Verdoscia, L.
    Proceedings of the IASTED International Symposium on Applied Informatics, 1990,
12345