Practical Aspects of Declarative Languages

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

Editors:

ISBN: 978-3-642-27693-4 (Print) 978-3-642-27694-1 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-16

    Recent Advances in Declarative Networking

  3. No Access

    Book Chapter

    Pages 17-17

    Make Things Now! Pragmatic Functional Programming in Haskell

  4. No Access

    Book Chapter

    Pages 18-32

    A Declarative Approach for Software Modeling

  5. No Access

    Book Chapter

    Pages 33-47

    Contracts and Specifications for Functional Logic Programming

  6. No Access

    Book Chapter

    Pages 48-62

    The Environment as an Argument

  7. No Access

    Book Chapter

    Pages 63-77

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

  8. No Access

    Book Chapter

    Pages 78-92

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

  9. No Access

    Book Chapter

    Pages 93-107

    Efficient Tabling of Structured Data Using Indexing and Program Transformation

  10. No Access

    Book Chapter

    Pages 108-122

    Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation

  11. No Access

    Book Chapter

    Pages 123-137

    Symbolic Execution of Concurrent Objects in CLP

  12. No Access

    Book Chapter

    Pages 138-152

    A Segment-Swapping Approach for Executing Trapped Computations

  13. No Access

    Book Chapter

    Pages 153-167

    Palovca: Describing and Executing Graph Algorithms in Haskell

  14. No Access

    Book Chapter

    Pages 168-182

    LearnPADS  + + : Incremental Inference of Ad Hoc Data Formats

  15. No Access

    Book Chapter

    Pages 183-197

    The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars

  16. No Access

    Book Chapter

    Pages 198-211

    Distributed Policy Specification and Interpretation with Classified Advertisements

  17. No Access

    Book Chapter

    Pages 212-226

    Handshaking in Kansas Lava Using Patch Logic

  18. No Access

    Book Chapter

    Pages 227-241

    Virtualizing Real-World Objects in FRP

  19. No Access

    Book Chapter

    Pages 242-257

    Resource-Safe Systems Programming with Embedded Domain Specific Languages

  20. No Access

    Book Chapter

    Pages 258-272

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

  21. No Access

    Book Chapter

    Pages 273-288

    A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

previous Page of 2