default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th PADL 2008: San Francisco, CA, USA
- Paul Hudak, David Scott Warren:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 21:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
