Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Marco Gavanelli

    1. Dipartimento di Ingegneria,, Università di Ferrara, Ferrara, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Reppy

    1. University of Chicago, Chicago, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Constraint and Logic Programming

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station

      • Jan Jelínek, Roman Barták
      Pages 3-12

    3. The KB Paradigm and Its Application to Interactive Configuration

      • Van Hertum Pieter, Ingmar Dasseville, Gerda Janssens, Marc Denecker
      Pages 13-29

    4. A GPU Implementation of the ASP Computation

      • Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
      Pages 30-47

    5. The Picat-SAT Compiler

      • Neng-Fa Zhou, Håkan Kjellerstrand
      Pages 48-62

  3. Functional Programming

    1. Front Matter

      Pages 63-63
      Download chapter PDF

    2. Default Rules for Curry

      • Sergio Antoy, Michael Hanus
      Pages 65-82

    3. Generic Matching of Tree Regular Expressions over Haskell Data Types

      • Alejandro Serrano, Jurriaan Hage
      Pages 83-98

    4. A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations

      • Paul Tarau
      Pages 99-116

    5. Computing with Catalan Families, Generically

      • Paul Tarau
      Pages 117-134

    6. Simplifying Probabilistic Programs Using Computer Algebra

      • Jacques Carette, Chung-Chieh Shan
      Pages 135-152

    7. Haskino: A Remote Monad for Programming the Arduino

      • Mark Grebe, Andy Gill
      Pages 153-168

    8. From Monads to Effects and Back

      • Niki Vazou, Daan Leijen
      Pages 169-186

  4. Back Matter

    Pages 187-187
    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016.

The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.

Editors and Affiliations

  • Dipartimento di Ingegneria,, Università di Ferrara, Ferrara, Italy

    Marco Gavanelli

  • University of Chicago, Chicago, USA

    John Reppy

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation