Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hanus, Michael (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4354
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.

Πίνακας περιεχομένων:

• QuickCheck Testing for Fun and Profit
• A Constraint Programming Approach to Bioinformatics Structural Problems
• Rewriting Haskell Strings
• Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
• Algebraic Knowledge Discovery Using Haskell
• Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
• Automatic Incrementalization of Prolog Based Static Analyses
• Verification of Java Bytecode Using Analysis and Transformation of Logic Programs
• Combining Static Analysis and Profiling for Estimating Execution Times
• On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
• Compiling Constraint Handling Rules for Efficient Tabled Evaluation
• Prolog Performance on Larger Datasets
• BAD, a Declarative Logic-Based Language for Brain Modeling
• From Zinc to Design Model
• Inductive Logic Programming by Instance Patterns
• ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
• The Joins Concurrency Library
• HPorter: Using Arrows to Compose Parallel Processes
• Coupled Schema Transformation and Data Conversion for XML and SQL
• Aspect-Oriented Programming in Higher-Order and Linear Logic
• Partial Evaluation of Pointcuts.