INDUCTIVE FUNCTIONAL PROGRAMMING USING INCREMENTAL PROGRAM TRANSFORMATION

被引：68
|
作者：
OLSSON, R
机构：
[1] Department of Computer Science, Østfold College, 1777 Halden
来源：
ARTIFICIAL INTELLIGENCE | 1995年 / 74卷 / 01期
关键词：
D O I：
10.1016/0004-3702(94)00042-Y
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper presents a system, ADATE, for automatic functional programming. ADATE uses specifications that contain few constraints on the programs to be synthesized and that allow a wide range of correct programs, ADATE can generate novel and unexpected recursive programs with automatic invention of recursive auxiliary functions. Successively better programs are developed using incremental program transformations. A key to the success of ADATE is the exact design of these transformations, and how to systematically search for appropriate transformation sequences.
引用
收藏
页码：55 / 81
页数：27
相关论文
共 50 条
  • [31] Carcinogenesis predictions using inductive logic programming
    Srinivasan, A
    King, RD
    Muggleton, SH
    Sternberg, MJE
    INTELLIGENT DATA ANALYSIS IN MEDICINE AND PHARMACOLOGY, 1997, 414 : 243 - 260
  • [32] Ontology Alignment Using Inductive Logic Programming
    Karimi, Hamed
    Kamandi, Ali
    2018 4TH INTERNATIONAL CONFERENCE ON WEB RESEARCH (ICWR), 2018, : 118 - 127
  • [33] Recursive program optimization through inductive synthesis proof transformation
    Madden, P
    Bundy, A
    Smaill, A
    JOURNAL OF AUTOMATED REASONING, 1999, 22 (01) : 65 - 115
  • [34] Recursive Program Optimization through Inductive Synthesis Proof Transformation
    Peter Madden
    Alan Bundy
    Alan Smaill
    Journal of Automated Reasoning, 1999, 22 : 65 - 115
  • [35] Inductive programming
    Flener P.
    Partridge D.
    Automated Software Engineering, 2001, 8 (2) : 131 - 137
  • [36] Toward incremental parallelization using navigational programming
    Pan, L
    Zhang, WH
    Asuncion, A
    Lai, MK
    Dillencourt, MB
    Bic, LF
    Yang, LT
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (02) : 390 - 398
  • [37] Efficient generation of test data structures using constraint logic programming and program transformation
    Fioravanti, Fabio
    Proietti, Maurizio
    Senni, Valerio
    JOURNAL OF LOGIC AND COMPUTATION, 2015, 25 (06) : 1263 - 1283
  • [38] Using pi-RED as a teaching tool for functional programming and program execution
    Kluge, WE
    Rathsack, C
    Scholz, SB
    FUNCTIONAL PROGRAMMING LANGUAGES IN EDUCATION, 1995, 1022 : 231 - 249
  • [39] COMPILATION OF FUNCTIONAL LANGUAGES BY PROGRAM TRANSFORMATION
    FRADET, P
    LEMETAYER, D
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (01): : 21 - 51
  • [40] Incremental, Inductive Model Checking
    Bradley, Aaron R.
    2013 20TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2013, : 5 - 6
12345