Achievements and prospects of program synthesis

被引：0
作者：
Flener, P [1 ]
机构：
[1] Uppsala Univ, Dept Comp Sci, S-75105 Uppsala, Sweden
来源：
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI | 2002年 / 2407卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Program synthesis research aims at developing a program that develops correct programs from specifications, with as much or as little interaction as the specifier wants. I overview the main achievements in deploying logic for program synthesis. I also outline the prospects of such research, arguing that, while the technology scales up from toy programs to real-life software and to commercially viable tools, computational logic will continue to be a driving force behind this progress.
引用
收藏
页码：310 / 346
页数：37
相关论文
共 88 条
  • [11] BIBEL W, 1998, LECT NOTES ARTIF INT, V1463, P1
  • [12] Biermann A.W., 1983, COMPUTER PROGRAM SYN
  • [13] AUTOMATIC PROGRAMMING - A TUTORIAL ON FORMAL METHODOLOGIES
    BIERMANN, AW
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (02) : 119 - 142
  • [14] BIERMANN AW, 1984, AUTOMATIC PROGR CONS
  • [15] BIERMANN AW, 1992, ENCY ARTIFICIAL INTE, P59
  • [16] BIERMANN AW, 1993, J SYMBOLIC COMPUTATI, V15
  • [17] Planware - Domain-specific synthesis of high-performance schedulers
    Blaine, L
    Gilham, L
    Liu, JB
    Smith, DR
    Westfold, S
    [J]. 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 270 - 279
  • [18] BUNDY A, 1990, LECT NOTES ARTIF INT, V449, P647
  • [19] BUNDY A, 1988, P 5 INT C S LOG PROG, P1624
  • [20] BUNDY A, 1990, P ESPRIT S COMPUTATI, P135
123456789