Inductive Synthesis of Functional Programs

Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

  • Ute Schmid

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2654)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2654)

Table of contents

  1. Front Matter
  2. 1. Introduction

    1. Ute Schmid
      Pages 1-10
  3. Part I. Planning

    1. Front Matter
      Pages 11-11
    2. Ute Schmid
      Pages 13-54
    3. Ute Schmid
      Pages 93-96
  4. Part II. Inductive Program Synthesis

    1. Front Matter
      Pages 97-97
    2. Ute Schmid
      Pages 99-166
    3. Ute Schmid
      Pages 167-225
    4. Ute Schmid
      Pages 271-275
  5. Part III. Schema Abstraction

    1. Front Matter
      Pages 277-277
    2. Ute Schmid
      Pages 311-321
    3. Ute Schmid
      Pages 323-325
  6. Back Matter

About this book

Introduction

Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s.

This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed.

Keywords

automatic programming cognitive psychology context-free grammars functional programs inductive synthesis learning logical reasoning program abstraction program folding program modification program synthesis program transformation programming recursive functions universal planning

Authors and affiliations

  • Ute Schmid
    • 1
  1. 1.Institute of Computer Science Department of Mathematics and Computer ScienceUniversity of OsnabrückOsnabrückGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b12055
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40174-2
  • Online ISBN 978-3-540-44846-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book