Skip to main content
  • Conference proceedings
  • © 2010

Approaches and Applications of Inductive Programming

Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

  • State of the art research

  • Fast track conference proceedings

  • Representative selection of current research

Conference proceedings info: AAIP 2009.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (9 papers)

  1. Front Matter

  2. Invited Papers

    1. Synthesis of Functions Using Generic Programming

      • Pieter Koopman, Rinus Plasmeijer
      Pages 25-49
  3. Regular Papers

    1. Incremental Learning in Inductive Programming

      • Robert Henderson
      Pages 74-92
    2. Enumerating Well-Typed Terms Generically

      • Alexey Rodriguez Yakushev, Johan Jeuring
      Pages 93-116
    3. Generalisation Operators for Lists Embedded in a Metric Space

      • V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
      Pages 117-139
    4. Porting IgorII from Maude to Haskell

      • Martin Hofmann, Emanuel Kitzelmann, Ute Schmid
      Pages 140-158
    5. Automated Method Induction: Functional Goes Object Oriented

      • Thomas Hieber, Martin Hofmann
      Pages 159-173
    6. Recent Improvements of MagicHaskeller

      • Susumu Katayama
      Pages 174-193
  4. Back Matter

Other Volumes

  1. Approaches and Applications of Inductive Programming

Keywords

  • learning
  • program synthesis
  • programming

Editors and Affiliations

  • Fakultät Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich-Universität Bamberg, Bamberg, Germany

    Ute Schmid, Emanuel Kitzelmann

  • Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands

    Rinus Plasmeijer

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions