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 条
  • [21] Programs, Proofs, Processes
    Fernando Ferreira
    Benedikt Löwe
    Elvira Mayordomo
    Theory of Computing Systems, 2012, 51 : 267 - 269
  • [22] PAP - PROOFS AS PROGRAMS
    BRESCIANI, P
    MIGLIOLI, P
    MOSCATO, U
    ORNAGHI, M
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 852 - 853
  • [23] Proofs as efficient programs
    Dal Lago, Ugo
    Martini, Simone
    DEDUCTION, COMPUTATION, EXPERIMENT: EXPLORING THE EFFECTIVENESS OF PROOF, 2008, : 141 - 157
  • [24] Proofs, Programs, Processes
    Ulrich Berger
    Monika Seisenberger
    Theory of Computing Systems, 2012, 51 : 313 - 329
  • [25] Proofs, Programs, Processes
    Berger, Ulrich
    Seisenberger, Monika
    THEORY OF COMPUTING SYSTEMS, 2012, 51 (03) : 313 - 329
  • [26] Combining Proofs and Programs
    Weirich, Stephanie
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 9 - 9
  • [27] EXTRACTION OF REDUNDANCY-FREE PROGRAMS FROM CONSTRUCTIVE NATURAL DEDUCTION PROOFS
    TAKAYAMA, Y
    JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (01) : 29 - 69
  • [28] Refined program extraction from classical proofs: Some case studies
    Schwichtenberg, H
    FOUNDATIONS OF SECURE COMPUTATION, 2000, 175 : 147 - 166
  • [29] PROVABLY RECURSIVE-PROGRAMS AND PROGRAM EXTRACTION
    FERNANDO, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 303 - 313
  • [30] Fred: An approach to generating real, correct, reusable programs from proofs
    Crossley, J
    Poernomo, I
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (01) : 71 - 88
12345