Synthesis of Functions Using Generic Programming

被引：0
|
作者：
Koopman, Pieter [1 ]
Plasmeijer, Rinus [1 ]
机构：
[1] Radboud Univ Nijmegen, Nijmegen Inst Comp & Informat Sci, Nijmegen, Netherlands
来源：
APPROACHES AND APPLICATIONS OF INDUCTIVE PROGRAMMING | 2010年 / 5812卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or A-terms obeying an input output behavior specified by a number of examples. Generating complex algorithms from just a small number of simple input-output pairs is the goal of inductive programming. This paper illustrates that our approach works well in some challenging examples.
引用
收藏
页码：25 / 49
页数：25
相关论文
共 50 条
  • [1] Simultaneous Synthesis of Multiple Functions using Genetic Programming with Scaffolding
    Bladek, Iwo
    Krawiec, Krzysztof
    [J]. PROCEEDINGS OF THE 2016 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'16 COMPANION), 2016, : 97 - 98
  • [2] Random numbers in a range using generic programming
    Orlov, Michael
    [J]. DR DOBBS JOURNAL, 2008, 33 (04): : 44 - +
  • [3] GENERIC PROGRAMMING
    MUSSER, DR
    STEPANOV, AA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 13 - 25
  • [4] Using Functions for Easier Programming
    Savage, Neil
    [J]. COMMUNICATIONS OF THE ACM, 2018, 61 (05) : 29 - 30
  • [5] Synthesis of standard functions and generic Ex-OR module using layered T gate
    Mukherjee C.
    Panda S.
    Mukhopadhyay A.K.
    Maji B.
    [J]. Mukherjee, Chiradeep (chiradeep.1234321@gmail.com), 1600, Inderscience Publishers, 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (07): : 70 - 86
  • [6] Generic Component: A Generic Programming Approach
    Chen Yewang
    Jiang Zhixiong
    Zhao Wenyun
    Peng Xin
    [J]. 2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 87 - 92
  • [7] Combining genetic programming with generic simulation models in evolutionary synthesis
    Csukas, B
    Balogh, S
    [J]. COMPUTERS IN INDUSTRY, 1998, 36 (03) : 181 - 197
  • [8] Synthesis of Mass Exchange Networks Using Mathematical Programming and Detailed Cost functions
    Isafiade, Adeniyi J.
    Short, Michael
    Kravanja, Zdravko
    Moller, Klaus
    [J]. 26TH EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING (ESCAPE), PT B, 2016, 38B : 1875 - 1880
  • [9] A functional approach to generic programming using adaptive traversals
    Chadwick B.
    Lieberherr K.
    [J]. Higher-Order and Symbolic Computation, 2010, 23 (04) : 433 - 463
  • [10] Improving Generic Attacks Using Exceptional Functions
    Bonnetain, Xavier
    Boissier, Rachelle Heim
    Leurent, Gaetan
    Schrottenloher, Andre
    [J]. ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT IV, 2024, 14923 : 105 - 138
12345