Practical Aspects of Declarative Languages

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

  • Ricardo Rocha
  • John Launchbury

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Message-Passing and Mobile Networks

    1. Maria Christakis, Konstantinos Sagonas
      Pages 5-18
    2. Neil C. C. Brown
      Pages 19-33
    3. Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers
      Pages 34-37
  4. Profiling and Implementation

    1. Edison Mera, Teresa Trigo, Pedro Lopez-García, Manuel Hermenegildo
      Pages 38-53
    2. Timothy L. Hinrichs
      Pages 54-68
    3. Jan Wielemaker, Vítor Santos Costa
      Pages 69-83
  5. Grammars, Merging and Constraint Programming

    1. Dominique Devriese, Frank Piessens
      Pages 84-98
    2. Christoph Redl, Thomas Eiter, Thomas Krennwallner
      Pages 99-114
    3. Pedro Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu
      Pages 115-129
  6. Language Extensions and Tools

    1. Pavel Krajcevski, John Reppy
      Pages 130-144
    2. Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
      Pages 145-159
    3. Jan Christiansen
      Pages 160-174
  7. Concurrent and Parallel Programming

    1. Don Syme, Tomas Petricek, Dmitry Lomov
      Pages 175-189
    2. Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine
      Pages 190-204
  8. Event Processing and Reactive Programming

    1. Paul Fodor, Darko Anicic, Sebastian Rudolph
      Pages 220-234
    2. Andreas Voellmy, Paul Hudak
      Pages 235-249

About these proceedings


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.


Haskell MANETs cloud computation context-free grammars decision making embedded systems functional programming logic programming optimization performance security testing verification

Editors and affiliations

  • Ricardo Rocha
    • 1
  • John Launchbury
    • 2
  1. 1.CRACS & INESC-Porto LA, Faculty of ScienceUniversity of PortoPortoPortugal
  2. 2.GaloisPortlandUSA

Bibliographic information

  • DOI
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-18377-5
  • Online ISBN 978-3-642-18378-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book