On evolving of recursive functions using λ-abstraction and higher-order functions

被引：0
|
作者：
Dostal, Martin
机构：
来源：
LOGIC JOURNAL OF THE IGPL | 2005年 / 13卷 / 05期
关键词：
automatic programming; lambda calculus; higher-order functions;
D O I：
10.1093/jigpal/jzi039
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
This article introduces an application of higher order functions as structure abstractions of recursive(1) functions as a method to reduce a search effort needed for the automatic programming (evolving) of common types of recursive functions. We will shortly describe a functional paradigm based language specially designed for automatic programming. Henceforward we introduce the structure abstraction functions (AR-functions) and the results of experiments.
引用
收藏
页码：515 / 524
页数：10
相关论文
共 50 条
  • [1] Hierarchical Processing for Evolving Recursive and Modular Programs Using Higher-Order Functions and Lambda Abstraction
    Tina Yu
    [J]. Genetic Programming and Evolvable Machines, 2001, 2 (4) : 345 - 380
  • [2] Partial recursive functions in Higher-Order Logic
    Krauss, Alexander
    [J]. AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
  • [3] Validating and Animating Higher-Order Recursive Functions in B
    Leuschel, Michael
    Cansell, Dominique
    Butler, Michael
    [J]. RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION AND ANALYSIS: EASSYS DEDICATED TO EGON BORGER ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5115 : 78 - +
  • [4] THE PROVABLY RECURSIVE FUNCTIONS OF PREDICATIVE HIGHER-ORDER LOGICS
    LEIVANT, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1448 - 1448
  • [5] Plan Composition Using Higher-Order Functions
    Rivera, Elijah
    Krishnamurthi, Shriram
    Goldstone, Robert
    [J]. PROCEEDINGS OF THE 2022 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, ICER 2022, VOL. 1, 2023, : 84 - 104
  • [6] Recursive functions with higher order domains
    Bove, A
    Capretta, V
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 116 - 130
  • [7] HIGHER-ORDER COHERENCE FUNCTIONS
    NATH, R
    [J]. LETTERE AL NUOVO CIMENTO, 1978, 23 (13): : 494 - 496
  • [8] Contracts for higher-order functions
    Findler, RB
    Felleisen, M
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (09) : 48 - 59
  • [9] Contracts for Higher-Order Functions
    Findler, Robert Bruce
    Felleisen, Matthias
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (04) : 34 - 45
  • [10] Higher-order immittance functions using current conveyors
    Horng, Jiun-Wei
    Hou, Chun-Li
    Chang, Chun-Ming
    Yang, Hao
    Shyu, Woei-Tzer
    [J]. ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, 2009, 61 (02) : 205 - 209
12345