- Sathiamoorthy Subbarayan. Efficient Reasoning
for Nogoods in Constraint Solvers with BDDs
- Bernd Brassel,
Michael Hanus and Marion Mueller. High-Level
Database Programming in Curry
- Richard Frost, Rahmatullah Hafiz
and Paul Callaghan. Parser Combinators for
Ambiguous Left-Recursive Grammars
- George Giorgidze and Henrik Nilsson. Switched-on Yampa.
Declarative Programming of Modular Syntheziers
- Moritz Y. Becker and Sebastian Nanz. The Role
of Abduction in Declarative Authorization Policies
- Amadeo Casas, Manuel Carro and Manuel Hermenegildo.
Towards a High-Level Implementation of Execution
Primitives for Non-restricted, Independent And-parallelism
-
Bruno PAGANO, Olivier ANDRIEU, Benjamin CANOU, Emmmanuel CHAILLOUX,
Jean-Louis COLACO, Thomas MONIOT and Philippe WANG.
Certified development tools implementation in Objective Caml
- Ralph Becket and Zoltan Somogyi. DCGs + Memoing
= Packrat Parsing: But is it worth it?
- Pieter Koopman, Peter
Achten and Rinus Plasmeijer. Model-Based Testing of
Thin-Client Web Applications and Navigation Input
- Phil Cox and Patrick Nicholson. Unification of
Arrays in Spreadsheets with Logic Programming
- Mary Fernandez, Kathleen Fisher, J. Nathan Foster, Michael Greenberg and
Yitzhak Mandelbaum. A Generic Programming Toolkit
for PADS/ML: First-Class Upgrades for Third-Party Developers
- Guillem Marpons, Julio Mari?o, ?ngel Herranz, Lars-Ake Fredlund, Manuel
Carro and Juan Jos? Moreno-Navarro. Automatic
Coding Rule Conformance Checking Using Logic Programming
- Paulo Moura, Paul Crocker and Paulo Jorge Nunes.
Multi-threading programming in Logtalk
- Jost Berthold, Abyd Al Zain and Hans-Wolfgang Loidl.
Scheduling light-weight parallelism in ARTCOP
- Gabriele Keller, Hugh Chaffey-Millar, Manuel Chakravarty, Don Stewart
and Christopher Barner-Kowollik. Specialising
Simulator Generators for High-Performance Monte-Carlo Methods
- Jost Berthold, Mischa Dieterle, Rita Loogen and Steffen Priebe.
Hierarchical Master-Worker Skeletons
- Laleh Mousavi Eshkevari, Venera Arnaoudova and Constantinos
Constantinides. Comprehension and dependency
analysis of aspect-oriented programs through declarative reasoning
-
Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo, Cláudio Silva and
Ricardo Rocha. An Improved Continuation Call-Based
Implementation of Tabling
- Martin Hirzel, Nathaniel Nystrom,
Bard Bloom and Jan Vitek. Matchete: Paths through
the Pattern Matching Jungle
- Sebastian Brand, Gregory Duck, Jakob Puchinger and Peter Stuckey.
Flexible, Rule-based Constraint Model Linearisation