Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Claudio Russo

    1. Microsoft Research Ltd, Cambridge, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Neng-Fa Zhou

    1. Dept. of Computer and Information Science, Brooklyn College, Brooklyn, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

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

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

Included in the following conference series:

Conference proceedings info: PADL 2012.

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

Access this book

Log in via an institution
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

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Recent Advances in Declarative Networking

    • Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr et al.
    Pages 1-16

  3. Make Things Now! Pragmatic Functional Programming in Haskell

    • Don Stewart
    Pages 17-17

  4. A Declarative Approach for Software Modeling

    • Mayer Goldberg, Guy Wiener
    Pages 18-32

  5. Contracts and Specifications for Functional Logic Programming

    • Sergio Antoy, Michael Hanus
    Pages 33-47

  6. The Environment as an Argument

    • Pedro M. Martins, Julie A. McCann, Susan Eisenbach
    Pages 48-62

  7. Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving

    • Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund
    Pages 63-77

  8. Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools

    • Marcello Balduccini, Yulia Lierler
    Pages 78-92

  9. Efficient Tabling of Structured Data Using Indexing and Program Transformation

    • Christian Theil Have, Henning Christiansen
    Pages 93-107

  10. Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation

    • Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers
    Pages 108-122

  11. Symbolic Execution of Concurrent Objects in CLP

    • Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
    Pages 123-137

  12. A Segment-Swapping Approach for Executing Trapped Computations

    • Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
    Pages 138-152

  13. Palovca: Describing and Executing Graph Algorithms in Haskell

    • Michael Lesniak
    Pages 153-167

  14. LearnPADS  + + : Incremental Inference of Ad Hoc Data Formats

    • Kenny Q. Zhu, Kathleen Fisher, David Walker
    Pages 168-182

  15. The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars

    • Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
    Pages 183-197

  16. Distributed Policy Specification and Interpretation with Classified Advertisements

    • Nicholas Coleman
    Pages 198-211

  17. Handshaking in Kansas Lava Using Patch Logic

    • Andy Gill, Bowe Neuenschwander
    Pages 212-226

  18. Virtualizing Real-World Objects in FRP

    • Daniel Winograd-Cort, Hai Liu, Paul Hudak
    Pages 227-241

  19. Resource-Safe Systems Programming with Embedded Domain Specific Languages

    • Edwin Brady, Kevin Hammond
    Pages 242-257

  20. Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages

    • David Broman, Henrik Nilsson
    Pages 258-272
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages, PADL 2012, held in Philadelphia, PA, USA, in January 2012, co-located with POPL 2012, the 39th Symposium on Principles of Programming Languages. The 38 revised technical papers presented together with 3 application papers were carefully reviewed and selected from 52 submissions. The volume features original work emphasizing new ideas and approaches pertaining to applications and implementation techniques of declarative languages and addresses topics such as innovative applications of declarative languages, declarative domain-specific languages and applications, practical applications of theoretical results, new language developments and their impact on applications, evaluation of implementation techniques on practical applications, novel implementation techniques relevant to applications, novel uses of declarative languages in the classroom, and practical experiences.

Editors and Affiliations

  • Microsoft Research Ltd, Cambridge, United Kingdom

    Claudio Russo

  • Dept. of Computer and Information Science, Brooklyn College, Brooklyn, USA

    Neng-Fa Zhou

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation