Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | |
| Format: | Electrònic eBook |
| Idioma: | English |
| Publicat: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edició: | 1st ed. 2007. |
| Periòdiques: | Programming and Software Engineering ;
4354 |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-540-69611-7 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Taula de continguts:
- 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.