Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

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 32,12 €
price for Spain (gross)
  • ISBN 978-3-319-28228-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 41,60 €
price for Spain (gross)
  • ISBN 978-3-319-28227-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • The KB Paradigm and Its Application to Interactive Configuration

    Pieter, Van Hertum (et al.)

    Pages 13-29

    Preview Buy Chapter 30,19 €
  • A GPU Implementation of the ASP Computation

    Dovier, Agostino (et al.)

    Pages 30-47

    Preview Buy Chapter 30,19 €
  • The Picat-SAT Compiler

    Zhou, Neng-Fa (et al.)

    Pages 48-62

    Preview Buy Chapter 30,19 €
  • Default Rules for Curry

    Antoy, Sergio (et al.)

    Pages 65-82

    Preview Buy Chapter 30,19 €

Buy this book

eBook 32,12 €
price for Spain (gross)
  • ISBN 978-3-319-28228-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 41,60 €
price for Spain (gross)
  • ISBN 978-3-319-28227-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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