Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Programming and Software Engineering

Practical Aspects of Declarative Languages

13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Editors: Rocha, Ricardo, Launchbury, John (Eds.)

  • unique visibility, fast-track conference proceedings, state-of-the-art research

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-642-18378-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-642-18377-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.

Table of contents (20 chapters)

  • Intel $^{\mbox{\scriptsize\circledR}}$ Core $^{\mbox{\scriptsize TM}}$ i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework

    Kaivola, Roope

    Pages 1-1

  • Learning Language from Its Perceptual Context

    Mooney, Raymond J.

    Pages 2-4

  • Detection of Asynchronous Message Passing Errors Using Static Analysis

    Christakis, Maria (et al.)

    Pages 5-18

  • Combinators for Message-Passing in Haskell

    Brown, Neil C. C.

    Pages 19-33

  • Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog

    Mantadelis, Theofrastos (et al.)

    Pages 34-37

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-642-18378-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-642-18377-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Practical Aspects of Declarative Languages
Book Subtitle
13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Editors
  • Ricardo Rocha
  • John Launchbury
Series Title
Programming and Software Engineering
Series Volume
6539
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-18378-2
DOI
10.1007/978-3-642-18378-2
Softcover ISBN
978-3-642-18377-5
Edition Number
1
Number of Pages
VIII, 265
Number of Illustrations
52 b/w illustrations, 12 illustrations in colour
Topics