13. PADL 2011: Austin, TX, USA

Ricardo Rocha, John Launchbury (Eds.): Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Lecture Notes in Computer Science 6539 Springer 2011, ISBN 978-3-642-18377-5

Invited Talks

Roope Kaivola:
Intel Core^TM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework. 1
Raymond J. Mooney:
Learning Language from Its Perceptual Context. 2-4

Message-Passing and Mobile Networks

Maria Christakis, Konstantinos F. Sagonas:
Detection of Asynchronous Message Passing Errors Using Static Analysis. 5-18
Neil C. C. Brown:
Combinators for Message-Passing in Haskell. 19-33
Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers:
Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. 34-37

Profiling and Implementation

Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo:
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. 38-53
Timothy L. Hinrichs:
Plato: A Compiler for Interactive Web Forms. 54-68
Jan Wielemaker, Vítor Santos Costa:
On the Portability of Prolog Applications. 69-83

Grammars, Merging and Constraint Programming

Dominique Devriese, Frank Piessens:
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. 84-98
Christoph Redl, Thomas Eiter, Thomas Krennwallner:
Declarative Belief Set Merging Using Merging Plans. 99-114
Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu:
Using Constraints for Intrusion Detection: The NeMODe System. 115-129

Language Extensions and Tools

Pavel Krajcevski, John H. Reppy:
A Declarative API for Particle Systems. 130-144
Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Integrating XPath with the Functional-Logic Language Toy. 145-159
Jan Christiansen:
Sloth - A Tool for Checking Minimal-Strictness. 160-174

Concurrent and Parallel Programming

Don Syme, Tomas Petricek, Dmitry Lomov:
The F# Asynchronous Programming Model. 175-189
Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine:
Kanor - A Declarative Language for Explicit Communication. 190-204
Tomas Petricek, Don Syme:
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. 205-219

Event Processing and Reactive Programming

Paul Fodor, Darko Anicic, Sebastian Rudolph:
Results on Out-of-Order Event Processing. 220-234
Andreas Voellmy, Paul Hudak:
Nettle: Taking the Sting Out of Programming Network Routers. 235-249
Chaitanya Belwal, Albert M. K. Cheng:
Determining Actual Response Time in P-FRP. 250-264

Last update Fri May 25 08:30:46 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page