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 条
  • [21] AN APPLICATION OF PROGRAM TRANSFORMATION TO SUPERCOMPUTER PROGRAMMING
    BOSSAVIT, A
    MEYER, B
    COMPUTER PHYSICS COMMUNICATIONS, 1985, 37 (1-3) : 27 - 38
  • [22] IGoR II - an Analytical Inductive Functional Programming System
    Hofmann, Martin
    PEPM '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2010, : 29 - 32
  • [23] Towards Human-Level Inductive Functional Programming
    Katayama, Susumu
    ARTIFICIAL GENERAL INTELLIGENCE (AGI 2015), 2015, 9205 : 111 - 120
  • [24] Automated Data Transformation with Inductive Programming and Dynamic Background Knowledge
    Contreras-Ochando, Lidia
    Ferri, Cesar
    Hernandez-Orallo, Jose
    Martinez-Plumed, Fernando
    Jose Ramirez-Quintana, Maria
    Katayama, Susumu
    MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT III, 2020, 11908 : 735 - 751
  • [25] A strong complete schema for inductive functional logic programming
    Hernández-Orallo, J
    Ramírez-Quintana, MJ
    INDUCTIVE LOGIC PROGRAMMING, 1999, 1634 : 116 - 127
  • [26] Discovery of functional relationships in multi-relational data using inductive logic programming
    Alves, A
    Camacho, R
    Oliveira, E
    FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS, 2004, : 319 - 322
  • [27] Dynamic Virtual Network Embedding: Using Incremental Model Transformation and Integer Linear Programming Techniques
    Tomaszek, Stefan
    Fritsche, Lars
    Schuerr, Andy
    JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (02):
  • [28] Efficient Functional Reactive Programming Through Incremental Behaviors
    Reynders, Bob
    Devriese, Dominique
    PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2017), 2017, 10695 : 321 - 338
  • [29] A program searching for a functional dependence using genetic programming with coefficient adjustment
    Hlavac, Vladimir
    2016 SMART CITIES SYMPOSIUM PRAGUE (SCSP), 2016,
  • [30] Outlier Detection using Inductive Logic Programming
    Angiulli, Fabrizio
    Fassetti, Fabio
    2009 9TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, 2009, : 693 - 698
12345