Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Phiên bản: | 1st ed. 2007. |
| Loạt: | Programming and Software Engineering ;
4354 |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-3-540-69611-7 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Mục lục:
- 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.