10. PADL 2008:
San Francisco,
CA,
USA
Paul Hudak, David Scott Warren (Eds.):
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008.
Lecture Notes in Computer Science 4902 Springer 2008, ISBN 978-3-540-77441-9 
- John Launchbury:
Industrial Functional Programming.
1
- Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang:
Certified Development Tools Implementation in Objective Caml.
2-17
- Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming.
18-34
- Laleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides:
Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning.
35-52
- Sathiamoorthy Subbarayan:
Efficient Reasoning for Nogoods in Constraint Solvers with BDDs.
53-67
- Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey:
Flexible, Rule-Based Constraint Model Linearisation.
68-83
- Moritz Y. Becker, Sebastian Nanz:
The Role of Abduction in Declarative Authorization Policies.
84-99
- Philip T. Cox, Patrick K. Nicholson:
Unification of Arrays in Spreadsheets with Logic Programming.
100-115
- Gabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik:
Specialising Simulator Generators for High-Performance Monte-Carlo Methods.
116-132
- Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum:
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.
133-149
- Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek:
Matchete: Paths through the Pattern Matching Jungle.
150-166
- Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan:
Parser Combinators for Ambiguous Left-Recursive Grammars.
167-181
- Ralph Becket, Zoltan Somogyi:
DCGs + Memoing = Packrat Parsing but Is It Worth It?
182-196
- Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha:
An Improved Continuation Call-Based Implementation of Tabling.
197-213
- Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl:
Scheduling Light-Weight Parallelism in ArTCoP.
214-229
- Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.
230-247
- Jost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe:
Hierarchical Master-Worker Skeletons.
248-264
- Paulo Moura, Paul Crocker, Paulo Nunes:
High-Level Multi-threading Programming in Logtalk.
265-281
- George Giorgidze, Henrik Nilsson:
Switched-On Yampa.
282-298
- Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer:
Model-Based Testing of Thin-Client Web Applications and Navigation Input.
299-315
- Bernd Braßel, Michael Hanus, Marion Müller:
High-Level Database Programming in Curry.
316-332
Last update Tue Feb 14 04:08:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
