PROOFS AND PROGRAMS - A NAIVE APPROACH TO PROGRAM EXTRACTION

被引：0
|
作者：
NAKAHARA, H [1 ]
机构：
[1] UNIV TOKYO,DEPT INFORMAT SCI,TOKYO 113,JAPAN
来源：
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES | 1989年 / 25卷 / 03期
关键词：
D O I：
10.2977/prims/1195173352
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：415 / 489
页数：75
相关论文
共 50 条
  • [41] Protocols between programs and proofs
    Poernomo, I
    Crossley, JN
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 18 - 37
  • [42] Proofs, programs and abstract complexity
    Beckmann, Arnold
    Computer Science Logic, Proceedings, 2007, 4646 : 4 - 5
  • [43] SOCIAL PROCESSES AND PROOFS OF THEOREMS AND PROGRAMS
    DEMILLO, RA
    LIPTON, RJ
    PERLIS, AJ
    COMMUNICATIONS OF THE ACM, 1979, 22 (05) : 271 - 280
  • [44] PROOFS OF DECLARATIVE PROPERTIES OF LOGIC PROGRAMS
    DERANSART, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 207 - 226
  • [45] Extraction of Defeasible Proofs as Explanations
    Pasetto, Luca
    Cristani, Matteo
    Governatori, Guido
    Olivieri, Francesco
    Zorzi, Edoardo
    CEUR Workshop Proceedings, 2023, 3546
  • [46] PARALLEL PROGRAMS - PROOFS, PRINCIPLES, AND PRACTICE
    ANDREWS, GR
    COMMUNICATIONS OF THE ACM, 1981, 24 (03) : 140 - 146
  • [47] Coupling Proofs Are Probabilistic Product Programs
    Barthe, Gilles
    Gregoire, Benjamin
    Hsu, Justin
    Strub, Pierre-Yves
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 161 - 174
  • [48] Software proofs end milling programs
    不详
    MANUFACTURING ENGINEERING, 1997, 118 (03): : 146 - 146
  • [49] Generating programs plus proofs by refinement
    Smith, Douglas R.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 182 - 188
  • [50] (Programs), Proofs and Refutations (and Tests and Mutants)
    Groce, Alex
    PROCEEDINGS OF THE 2024 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2024, 2024, : 223 - 230
12345