CONSTRUCTIVE SYSTEM FOR AUTOMATIC PROGRAM SYNTHESIS

被引：3
|
作者：
GALMICHE, D
机构：
[1] Centre de Recherche en Informatique de Nancy, 54506 Vandœuvre les Nancy Cdex, Campus Scientifique
来源：
THEORETICAL COMPUTER SCIENCE | 1990年 / 71卷 / 02期
关键词：
D O I：
10.1016/0304-3975(90)90199-R
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper describes a constructive system, based on a particular typed λ-calculus with constants and λ-expressions as types. This theory is principally based on intuitionistic type theory on the general idea of programming proofs which means extracting programs from constructive proofs. It can be considered as a basis of a system for automatized program sythesis by developing adapted techniques of programmation. It allows to partially automate the construction of programs from different specifications by a type-driven strategy. Moreover, the corresponding logical theory appears like a good base of higher-order calculus. © 1990.
引用
收藏
页码：227 / 239
页数：13
相关论文
共 50 条
  • [1] DEBUGGING TOOLS FOR A SYSTEM WITH AUTOMATIC PROGRAM SYNTHESIS
    MATSKIN, MB
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1983, 9 (04) : 173 - 177
  • [2] TOWARD AUTOMATIC PROGRAM SYNTHESIS
    MANNA, Z
    WALDINGER, RJ
    [J]. COMMUNICATIONS OF THE ACM, 1971, 14 (03) : 151 - +
  • [3] SYNTHESIS OF THE SYSTEM OF AUTOMATIC PROGRAM CONTROL OVER THE TEMPERATURE REGIME OF EXTRACTION
    ALEINIKOV, MI
    BOLSHAKOV, IV
    KALINOV, BP
    LUPAREV, VP
    KOLTSOV, VA
    [J]. KHIMIKO-FARMATSEVTICHESKII ZHURNAL, 1980, 14 (05): : 84 - 89
  • [4] SYNTHESIS OF THE SYSTEM FOR AUTOMATIC FORMATION OF UNDERWATER VEHICLE'S PROGRAM VELOCITY
    Filaretov, Vlsdimir
    Yukhimets, Dmitry
    [J]. ICINCO 2011: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2, 2011, : 439 - 444
  • [5] Constructive program synthesis using intuitionist logic and natural deduction
    Silva, GMH
    Haeusler, EH
    Veloso, PAS
    [J]. ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS, 2002, 85 : 224 - 233
  • [6] AUTOMATIC ROBOT PROGRAM SYNTHESIS FOR ASSEMBLY
    ELMARAGHY, HA
    RONDEAU, JM
    [J]. ROBOTICA, 1992, 10 : 113 - 123
  • [7] THE POWER OF PLURALISM FOR AUTOMATIC PROGRAM SYNTHESIS
    SMITH, CH
    [J]. JOURNAL OF THE ACM, 1982, 29 (04) : 1144 - 1165
  • [8] AUTOMATIC VTR PROGRAM EDITING SYSTEM
    TAKESA, T
    HORI, S
    HARAI, Y
    [J]. JOURNAL OF THE SMPTE-SOCIETY OF MOTION PICTURE AND TELEVISION ENGINEERS, 1971, 80 (03): : 196 - &
  • [9] A Framework for an Automatic Program Detection System
    Juan, Teng-Kuei
    Chiu, Wei-Yu
    Chen, Shih-Gang
    [J]. 2015 IEEE 4TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2015, : 104 - 105
  • [10] THE AUTOMATIC ROBOTIC PROGRAM GENERATION SYSTEM
    FRANZMEIER, N
    [J]. ROBOTS 13: CONFERENCE PROCEEDINGS, 1989, : M1 - M11
12345