Abstract is missing.
- Industrial Functional ProgrammingJohn Launchbury. 1 [doi]
- Certified Development Tools Implementation in Objective CamlBruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang. 2-17 [doi]
- Automatic Coding Rule Conformance Checking Using Logic ProgrammingGuillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund. 18-34 [doi]
- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative ReasoningLaleh Mousavi Eshkevari, Venera Arnaoudova, Constantinos Constantinides. 35-52 [doi]
- Efficient Reasoning for Nogoods in Constraint Solvers with BDDsSathiamoorthy Subbarayan. 53-67 [doi]
- Flexible, Rule-Based Constraint Model LinearisationSebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey. 68-83 [doi]
- The Role of Abduction in Declarative Authorization PoliciesMoritz Y. Becker, Sebastian Nanz. 84-99 [doi]
- Unification of Arrays in Spreadsheets with Logic ProgrammingPhilip T. Cox, Patrick Nicholson. 100-115 [doi]
- Specialising Simulator Generators for High-Performance Monte-Carlo MethodsGabriele Keller, Hugh Chaffey-Millar, Manuel M. T. Chakravarty, Don Stewart, Christopher Barner-Kowollik. 116-132 [doi]
- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party DevelopersMary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum. 133-149 [doi]
- Matchete: Paths through the Pattern Matching JungleMartin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek. 150-166 [doi]
- Parser Combinators for Ambiguous Left-Recursive GrammarsRichard A. Frost, Rahmatullah Hafiz, Paul Callaghan. 167-181 [doi]
- DCGs + Memoing = Packrat Parsing but Is It Worth It?Ralph Becket, Zoltan Somogyi. 182-196 [doi]
- An Improved Continuation Call-Based Implementation of TablingPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha. 197-213 [doi]
- Scheduling Light-Weight Parallelism in ArTCoPJost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl. 214-229 [doi]
- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-ParallelismAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo. 230-247 [doi]
- Hierarchical Master-Worker SkeletonsJost Berthold, Mischa Dieterle, Rita Loogen, Steffen Priebe. 248-264 [doi]
- High-Level Multi-threading Programming in LogtalkPaulo Moura, Paul Crocker, Paulo Nunes. 265-281 [doi]
- Switched-On YampaGeorge Giorgidze, Henrik Nilsson. 282-298 [doi]
- Model-Based Testing of Thin-Client Web Applications and Navigation InputPieter W. M. Koopman, Peter Achten, Marinus J. Plasmeijer. 299-315 [doi]
- High-Level Database Programming in CurryBernd Braßel, Michael Hanus, Marion Müller. 316-332 [doi]