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 条
  • [41] Programming by contract: Designing for correctness
    McKim Jr., James C.
    JOOP - Journal of Object-Oriented Programming, 1996, 9 (02):
  • [42] Subsetting language elements in programming environments for novice students
    DePasquale, PJ
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: CONCEPTS AND APPLICATIONS OF SYSTEMICS, CYBERNETICS AND INFORMATICS I, 2002, : 179 - 184
  • [43] Inductive Beluga: Programming Proofs
    Pientka, Brigitte
    Cave, Andrew
    AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 272 - 281
  • [44] SNOWFLAKE: Supporting Programming and Proofs
    Alabi, Oluwatobi
    Vu, Anh
    Osera, Peter-Michael
    PROCEEDINGS OF THE 54TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, VOL 2, SIGCSE 2023, 2023, : 1398 - 1398
  • [45] SKIL - A SYSTEM FOR PROGRAMMING WITH PROOFS
    GALMICHE, D
    HERMANN, O
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 348 - 350
  • [46] Simple relational correctness proofs for static analyses and program transformations
    Benton, N
    ACM SIGPLAN NOTICES, 2004, 39 (01) : 14 - 25
  • [47] Constraint-based correctness proofs for logic program transformations
    Pettorossi, Alberto
    Proietti, Maurizio
    Senni, Valerio
    FORMAL ASPECTS OF COMPUTING, 2012, 24 (4-6) : 569 - 594
  • [48] Alternative specification and correctness proofs of the distributed network reachability algorithm
    Weber, Andrea
    Duarte, Elias P., Jr.
    Fonseca, Keiko V. O.
    ABAKOS, 2012, 1 (01): : 5 - 27
  • [49] On the alternative proofs and modified proofs in Euclid's "Elements"
    Vitrac, B
    ARCHIVE FOR HISTORY OF EXACT SCIENCES, 2004, 59 (01) : 1 - 44
  • [50] AUTOMATED CORRECTNESS PROOFS OF MACHINE CODE PROGRAMS FOR A COMMERCIAL MICROPROCESSOR
    BOYER, RS
    YU, Y
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 416 - 430
12345