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 条
  • [41] INTUITIVE AND INSPIRATIONAL, OR INDUCTIVE AND INCREMENTAL
    KASSIRER, JP
    KOPELMAN, RI
    HOSPITAL PRACTICE, 1988, 23 (09): : 21 - &
  • [42] An algorithm for incremental inductive learning
    Pham, DT
    Dimov, SS
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 1997, 211 (03) : 239 - 249
  • [43] Deriving Formulas for Integer Sequences Using Inductive Programming
    De Ridder, Les
    Vercammen, Thijs
    ARTIFICIAL INTELLIGENCE, BNAIC 2018, 2019, 1021 : 16 - 24
  • [44] Mining Library Specifications using Inductive Logic Programming
    Sankaranarayanan, Sriram
    Ivancic, Franjo
    Gupta, Aarti
    ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 131 - 140
  • [45] Scientific knowledge discovery using inductive logic programming
    Muggleton, S
    COMMUNICATIONS OF THE ACM, 1999, 42 (11) : 42 - 46
  • [46] Machine Translation Model using Inductive Logic Programming
    Hossny, Ahmad
    Shaalan, Khaled
    Fahmy, Aly
    IEEE NLP-KE 2009: PROCEEDINGS OF INTERNATIONAL CONFERENCE ON NATURAL LANGUAGE PROCESSING AND KNOWLEDGE ENGINEERING, 2009, : 103 - +
  • [47] Modeling violin performances using inductive logic programming
    Ramirez, Rafael
    Perez, Alfonso
    Kersten, Stefan
    Rizo, David
    Roman, Placido
    Inesta, Jose M.
    INTELLIGENT DATA ANALYSIS, 2010, 14 (05) : 573 - 585
  • [48] Biochemical knowledge discovery using inductive logic programming
    Muggleton, S
    Srinivasan, A
    King, RD
    Sternberg, MJE
    DISCOVERY SCIENCE, 1998, 1532 : 326 - 341
  • [49] Improving inductive logic programming by using simulated annealing
    Serrurier, Mathieu
    Prade, Henri
    INFORMATION SCIENCES, 2008, 178 (06) : 1423 - 1441
  • [50] Word sense disambiguation using inductive logic programming
    Specia, Lucia
    Srinivasan, Ashwin
    Ramakrishnan, Ganesh
    Volpe Nunes, Maria das Gracas
    INDUCTIVE LOGIC PROGRAMMING, 2007, 4455 : 409 - +
12345