Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings /
Saved in:
| 企業作者: | |
|---|---|
| 其他作者: | |
| 格式: | 電子 電子書 |
| 語言: | English |
| 出版: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| 版: | 1st ed. 2007. |
| 叢編: | Programming and Software Engineering ;
4354 |
| 主題: | |
| 在線閱讀: | https://doi.org/10.1007/978-3-540-69611-7 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
書本目錄:
- 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.