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 条
  • [1] STUDIES OF PROGRAM SYNTHESIS - PROOFS [--] PROGRAMS
    TAKASU, S
    SATO, M
    JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS, 1983, 7 : 50 - 64
  • [2] Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs
    Berardi, Stefano
    de'Liguoro, Ugo
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (02)
  • [3] Program extraction from normalization proofs
    Berger U.
    Berghofer S.
    Letouzey P.
    Schwichtenberg H.
    Studia Logica, 2006, 82 (1) : 25 - 49
  • [4] EXTRACTION AND VERIFICATION OF PROGRAMS BY ANALYSIS OF FORMAL PROOFS
    ALEXI, W
    THEORETICAL COMPUTER SCIENCE, 1988, 61 (2-3) : 225 - 258
  • [5] Practical Program Extraction from Classical Proofs
    Makarov, Yevgeniy
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 521 - 542
  • [6] Refined program extraction from classical proofs
    Berger, U
    Buchholz, W
    Schwichtenberg, H
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 114 (1-3) : 3 - 25
  • [7] 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 - +
  • [8] Program Extraction From Proofs of Weak Head Normalization
    Biernacka, Malgorzata
    Danvy, Olivier
    Stovring, Kristian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 169 - 189
  • [9] System ST toward a type system for extraction and proofs of programs
    Raffalli, C
    ANNALS OF PURE AND APPLIED LOGIC, 2003, 122 (1-3) : 107 - 130
  • [10] STUDIES OF PROGRAM SYNTHESIS: PROOFS reversible reaction PROGRAMS.
    Takasu, Satoru
    Sato, Masahiko
    Japan Annual Reviews in Electronics, Computers & Telecommunications, 1983, 7 : 50 - 64
12345