Practical Aspects of Declarative Languages

1. Front Matter

   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

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.

• answer set programming
• distributed systems
• parallelism
• program verification
• simulation and modeling

• Microsoft Research Ltd, Cambridge, United Kingdom

  Claudio Russo

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

  Neng-Fa Zhou

Policies and ethics