10. PADL 2008: San Francisco, CA, USA

• 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 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