Programming and Software Engineering

Practical Aspects of Declarative Languages

15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Editors: Sagonas, Kostis (Ed.)

  • State-of-the-art research
  • Up-to-date results
  • Unique visibility
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-45284-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-45283-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic and constraints.

Table of contents (17 chapters)

  • A Library for Declarative Resolution-Independent 2D Graphics

    Klint, Paul (et al.)

    Pages 1-18

  • Analysing the Entire Wikipedia History with Database Supported Haskell

    Giorgidze, George (et al.)

    Pages 19-25

  • LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis

    Castro, Sergio (et al.)

    Pages 26-42

  • A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction

    Rodrigues, Vítor (et al.)

    Pages 43-59

  • Supporting Pruning in Tabled LP

    Guzmán, Pablo Chico (et al.)

    Pages 60-76

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-45284-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-45283-3
  • 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
15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
Editors
  • Kostis Sagonas
Series Title
Programming and Software Engineering
Series Volume
7752
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-45284-0
DOI
10.1007/978-3-642-45284-0
Softcover ISBN
978-3-642-45283-3
Edition Number
1
Number of Pages
XIV, 261
Number of Illustrations and Tables
82 b/w illustrations
Topics