Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
| Σειρά: | Lecture Notes in Computer Science,
4902 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Industrial Functional Programming
- Certified Development Tools Implementation in Objective Caml
- Automatic Coding Rule Conformance Checking Using Logic Programming
- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning
- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs
- Flexible, Rule-Based Constraint Model Linearisation
- The Role of Abduction in Declarative Authorization Policies
- Unification of Arrays in Spreadsheets with Logic Programming
- Specialising Simulator Generators for High-Performance Monte-Carlo Methods
- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers
- Matchete: Paths through the Pattern Matching Jungle
- Parser Combinators for Ambiguous Left-Recursive Grammars
- DCGs + Memoing = Packrat Parsing but Is It Worth It?
- An Improved Continuation Call-Based Implementation of Tabling
- Scheduling Light-Weight Parallelism in ArTCoP
- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism
- Hierarchical Master-Worker Skeletons
- High-Level Multi-threading Programming in Logtalk
- Switched-On Yampa
- Model-Based Testing of Thin-Client Web Applications and Navigation Input
- High-Level Database Programming in Curry.
