Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings / [electronic resource] :
edited by Paul Hudak, David S. Warren.
- 1st ed. 2008.
- X, 342 p. online resource.
- Programming and Software Engineering, 4902 2945-9168 ; .
- Programming and Software Engineering, 4902 .
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.
9783540774426
10.1007/978-3-540-77442-6 doi
Compilers (Computer programs).
Computer programming.
Computer science.
Software engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
QA76.76.C65
005.45
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.
9783540774426
10.1007/978-3-540-77442-6 doi
Compilers (Computer programs).
Computer programming.
Computer science.
Software engineering.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
QA76.76.C65
005.45