Practical Aspects of Declarative Languages

1. Front Matter

   PDF

2. Invited Talks

   1. Intel\(^{\mbox{\scriptsize\circledR}}\) Core\(^{\mbox{\scriptsize TM}}\) i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework

      • Roope Kaivola

      Pages 1-1

   2. Learning Language from Its Perceptual Context

      • Raymond J. Mooney

      Pages 2-4

3. Message-Passing and Mobile Networks

   1. Detection of Asynchronous Message Passing Errors Using Static Analysis

      • Maria Christakis, Konstantinos Sagonas

      Pages 5-18

   2. Combinators for Message-Passing in Haskell

      • Neil C. C. Brown

      Pages 19-33

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

      • Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers

      Pages 34-37

4. Profiling and Implementation

   1. Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs

      • Edison Mera, Teresa Trigo, Pedro Lopez-García, Manuel Hermenegildo

      Pages 38-53

   2. Plato: A Compiler for Interactive Web Forms

      • Timothy L. Hinrichs

      Pages 54-68

   3. On the Portability of Prolog Applications

      • Jan Wielemaker, Vítor Santos Costa

      Pages 69-83

5. Grammars, Merging and Constraint Programming

   1. Explicitly Recursive Grammar Combinators

      • Dominique Devriese, Frank Piessens

      Pages 84-98

   2. Declarative Belief Set Merging Using Merging Plans

      • Christoph Redl, Thomas Eiter, Thomas Krennwallner

      Pages 99-114

   3. Using Constraints for Intrusion Detection: The NeMODe System

      • Pedro Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu

      Pages 115-129

6. Language Extensions and Tools

   1. A Declarative API for Particle Systems

      • Pavel Krajcevski, John Reppy

      Pages 130-144

   2. Integrating XPath with the Functional-Logic Language Toy

      • Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez

      Pages 145-159

   3. Sloth – A Tool for Checking Minimal-Strictness

      • Jan Christiansen

      Pages 160-174

7. Concurrent and Parallel Programming

   1. The F# Asynchronous Programming Model

      • Don Syme, Tomas Petricek, Dmitry Lomov

      Pages 175-189

   2. Kanor

      • Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine

      Pages 190-204

   3. Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming

      • Tomas Petricek, Don Syme

      Pages 205-219

8. Event Processing and Reactive Programming

   1. Results on Out-of-Order Event Processing

      • Paul Fodor, Darko Anicic, Sebastian Rudolph

      Pages 220-234

   2. Nettle: Taking the Sting Out of Programming Network Routers

      • Andreas Voellmy, Paul Hudak

      Pages 235-249

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

• CRACS & INESC-Porto LA, Faculty of Science, University of Porto, Porto, Portugal

  Ricardo Rocha

• Galois, Portland, USA

  John Launchbury

Policies and ethics