1 option
Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings / edited by Michael Hanus.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Programming and software engineering ; SL 2, 4354.
- Programming and Software Engineering ; 4354
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Computer programming.
- Computer logic.
- Software engineering.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Software Engineering.
- Local Subjects:
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Logics and Meanings of Programs.
- Software Engineering.
- Physical Description:
- 1 online resource (X, 342 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-69611-7
- 9783540696117
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.