19. WFLP 2010:
Madrid, Spain
Julio Mariño (Ed.):
Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers.
Lecture Notes in Computer Science 6559 Springer 2011, ISBN 978-3-642-20774-7
Invited Paper
Contributed Papers
- Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck:
Transforming Functional Logic Programs into Monadic Functional Programs.
30-47

- George Giorgidze, Henrik Nilsson:
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL.
48-65

- Michele Baggi, Demis Ballis, Moreno Falaschi:
An Access Control Language Based on Term Rewriting and Description Logic.
66-83

- Michael Hanus:
Lazy and Enforceable Assertions for Functional Logic Programs.
84-100

- Pieter Wuille, Tom Schrijvers:
Parameterized Models for On-Line and Off-Line Use.
101-118

- Jan Christiansen, Daniel Seidel, Janis Voigtländer:
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry.
119-136

- Gergely Patai:
Efficient and Compositional Higher-Order Streams.
137-154

- Alexei Lescaylle, Alicia Villanueva:
Bridging the Gap between Two Concurrent Constraint Languages.
155-173

Last update Sat May 18 19:56:36 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page