Programming and Software Engineering

Practical Aspects of Declarative Languages

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

Editors: Gavanelli, Marco, Reppy, John (Eds.)

Buy this book

eBook $44.99
price for Brazil (gross)
  • ISBN 978-3-319-28228-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $60.00
price for Brazil
  • ISBN 978-3-319-28227-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (11 chapters)

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

    JelĂ­nek, Jan (et al.)

    Pages 3-12

  • The KB Paradigm and Its Application to Interactive Configuration

    Pieter, Van Hertum (et al.)

    Pages 13-29

  • A GPU Implementation of the ASP Computation

    Dovier, Agostino (et al.)

    Pages 30-47

  • The Picat-SAT Compiler

    Zhou, Neng-Fa (et al.)

    Pages 48-62

  • Default Rules for Curry

    Antoy, Sergio (et al.)

    Pages 65-82

Buy this book

eBook $44.99
price for Brazil (gross)
  • ISBN 978-3-319-28228-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $60.00
price for Brazil
  • ISBN 978-3-319-28227-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Practical Aspects of Declarative Languages
Book Subtitle
18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Editors
  • Marco Gavanelli
  • John Reppy
Series Title
Programming and Software Engineering
Series Volume
9585
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-28228-2
DOI
10.1007/978-3-319-28228-2
Softcover ISBN
978-3-319-28227-5
Edition Number
1
Number of Pages
X, 187
Number of Illustrations and Tables
29 illustrations in colour
Topics