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.