TY  - BOOK
AU  - Hudak,Paul
AU  - Warren,David S.
ED  - SpringerLink (Online service)
TI  - Practical Aspects of Declarative Languages: 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540774426
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2008///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Software Engineering
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-540-77442-6
ER  -