Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Practical Aspects of Declarative Languages

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Ricardo Rocha

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Launchbury

    1. Galois, Portland, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  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
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Editors and Affiliations

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

    Ricardo Rocha

  • Galois, Portland, USA

    John Launchbury

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation