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 Fri May 25 08:48:48 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page