Premium Members Get 10% Off and Earn Rewards Find Out More
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. 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.
1111361128
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. 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.
54.99 In Stock
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Overview

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.

Product Details

ISBN-13: 9783642183775
Publisher: Springer Berlin Heidelberg
Publication date: 07/14/2011
Series: Lecture Notes in Computer Science , #6539
Edition description: 2011
Pages: 265
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Invited Talks

Intel® Core™ i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework Roope Kaivola 1

Learning Language from Its Perceptual Context Raymond J. Mooney 2

Message-Passing and Mobile Networks

Detection of Asynchronous Message Passing Errors Using Static Analysis Maria Christakis Konstantinos Sagonas 5

Combinators for Message-Passing in Haskell Neil C.C. Brown 19

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog Theofrastos Mantadelis Koosha Paridel Gerda Janssens Yves Vanrompay Yolande Berbers 34

Profiling and Implementation

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs Edison Mera Teresa Trigo Pedro Lopez-García Manuel Hermenegildo 38

Plato: A Compiler for Interactive Web Forms Timothy L. Hinrichs 54

On the Portability of Prolog Applications Jan Wielemaker Vítor Santos Costa 69

Grammars, Merging and Constraint Programming

Explicitly Recursive Grammar Combinators: A Better Model for Shallow Parser DSLs Dominique Devriese Frank Piessens 84

Declarative Belief Set Merging Using Merging Plans Christoph Redl Thomas Eiter Thomas Krennwallner 99

Using Constraints for Intrusion Detection: The NeMODe System Pedro Salgueiro Daniel Diaz Isabel Brito Salvador Abreu 115

Language Extensions and Tools

A Declarative API for Particle Systems Pavel Krajcevski John Reppy 130

Integrating XPath with the Functional-Logic Language Toy Rafael Caballero Yolanda García-Ruiz Fernando Sáenz-Pérez 145

Sloth-A Tool for Checking Minimal-Strictness Jan Christiansen 160

Concurrent and Parallel Programming

The F# Asynchronous Programming Model Don Syme Tomas Petricek Dmitry Lomov 175

Kanor: A Declarative Language for Explicit Communication Eric Holk William E. Byrd Jeremiah Willcock Torsten Hoefler Arun Chauhan Andrew Lumsdaine 190

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming Tomas Petricek Don Syme 205

Event Processing and Reactive Programming

Results on Out-of-Order Event Processing Paul Fodor Darko Anicic Sebastian Rudolph 220

Nettle: Taking the Sting Out of Programming Network Routers Andreas Voellmy Paul Hudak 235

Determining Actual Response Time in P-FRP Chaitanya Belwal Albert U.K. Cheng 250

Author Index 265

From the B&N Reads Blog
Page 1 of

Customer Reviews