↓ Skip to main content
What is this page? Embed badge

Practical aspects of declarative languages : 9th international symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings

Overview of attention for book
Cover of 'Practical aspects of declarative languages : 9th international symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 QuickCheck Testing for Fun and Profit
  3. Altmetric Badge
    Chapter 2 A Constraint Programming Approach to Bioinformatics Structural Problems
  4. Altmetric Badge
    Chapter 3 Rewriting Haskell Strings
  5. Altmetric Badge
    Chapter 4 Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
  6. Altmetric Badge
    Chapter 5 Algebraic Knowledge Discovery Using Haskell
  7. Altmetric Badge
    Chapter 6 Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
  8. Altmetric Badge
    Chapter 7 Automatic Incrementalization of Prolog Based Static Analyses
  9. Altmetric Badge
    Chapter 8 Verification of Java Bytecode Using Analysis and Transformation of Logic Programs
  10. Altmetric Badge
    Chapter 9 Combining Static Analysis and Profiling for Estimating Execution Times
  11. Altmetric Badge
    Chapter 10 On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
  12. Altmetric Badge
    Chapter 11 Compiling Constraint Handling Rules for Efficient Tabled Evaluation
  13. Altmetric Badge
    Chapter 12 Prolog Performance on Larger Datasets
  14. Altmetric Badge
    Chapter 13 BAD, a Declarative Logic-Based Language for Brain Modeling
  15. Altmetric Badge
    Chapter 14 From Zinc to Design Model
  16. Altmetric Badge
    Chapter 15 Inductive Logic Programming by Instance Patterns
  17. Altmetric Badge
    Chapter 16 ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
  18. Altmetric Badge
    Chapter 17 The Joins Concurrency Library
  19. Altmetric Badge
    Chapter 18 HPorter: Using Arrows to Compose Parallel Processes
  20. Altmetric Badge
    Chapter 19 Coupled Schema Transformation and Data Conversion for XML and SQL
  21. Altmetric Badge
    Chapter 20 Aspect-Oriented Programming in Higher-Order and Linear Logic
  22. Altmetric Badge
    Chapter 21 Partial Evaluation of Pointcuts
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
1 Dimensions
Summary Wikipedia Dimensions citations
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 : 9th international symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings
Published by
Springer Science & Business Media, December 2006
DOI 10.1007/978-3-540-69611-7
ISBNs
978-3-54-069608-7, 978-3-54-069611-7
Authors

Hanus, Michael

Editors

Hanus, Michael

View on publisher site Google Preview

This page is provided by Altmetric.