↓ Skip to main content

Practical Aspects of Declarative Languages

Overview of attention for book
Cover of 'Practical Aspects of Declarative Languages'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Recent Advances in Declarative Networking
  3. Altmetric Badge
    Chapter 2 Make Things Now! Pragmatic Functional Programming in Haskell
  4. Altmetric Badge
    Chapter 3 A Declarative Approach for Software Modeling
  5. Altmetric Badge
    Chapter 4 Contracts and Specifications for Functional Logic Programming
  6. Altmetric Badge
    Chapter 5 The Environment as an Argument
  7. Altmetric Badge
    Chapter 6 Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving
  8. Altmetric Badge
    Chapter 7 Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools
  9. Altmetric Badge
    Chapter 8 Efficient Tabling of Structured Data Using Indexing and Program Transformation
  10. Altmetric Badge
    Chapter 9 Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation
  11. Altmetric Badge
    Chapter 10 Symbolic Execution of Concurrent Objects in CLP
  12. Altmetric Badge
    Chapter 11 A Segment-Swapping Approach for Executing Trapped Computations
  13. Altmetric Badge
    Chapter 12 Palovca: Describing and Executing Graph Algorithms in Haskell
  14. Altmetric Badge
    Chapter 13 LearnPADS  + +  : Incremental Inference of Ad Hoc Data Formats
  15. Altmetric Badge
    Chapter 14 The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars
  16. Altmetric Badge
    Chapter 15 Distributed Policy Specification and Interpretation with Classified Advertisements
  17. Altmetric Badge
    Chapter 16 Handshaking in Kansas Lava Using Patch Logic
  18. Altmetric Badge
    Chapter 17 Virtualizing Real-World Objects in FRP
  19. Altmetric Badge
    Chapter 18 Resource-Safe Systems Programming with Embedded Domain Specific Languages
  20. Altmetric Badge
    Chapter 19 Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages
  21. Altmetric Badge
    Chapter 20 A Declarative Specification of Tree-Based Symbolic Arithmetic Computations
  22. Altmetric Badge
    Chapter 21 Typing the Numeric Tower
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Practical Aspects of Declarative Languages
Published by
Springer Berlin Heidelberg, February 2012
DOI 10.1007/978-3-642-27694-1
ISBNs
978-3-64-227693-4, 978-3-64-227694-1
Editors

Russo, Claudio, Zhou, Neng-Fa, Russo, Claudio, Zhou, Neng-Fa

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 40%
Student > Ph. D. Student 2 40%
Researcher 1 20%
Readers by discipline Count As %
Computer Science 2 40%
Psychology 1 20%
Medicine and Dentistry 1 20%
Engineering 1 20%