Volume 216,
July 2008
Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)
- Rachid Echahed:
Preface.
1-2
- Murdoch Gabbay, Michael Gabbay:
a-Logic With Arrows.
3-29
- Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi:
Computational Origami Construction as Constraint Solving and Rewriting.
31-44
- Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen:
Inferring Static Non-monotone Size-aware Types Through Testing.
45-63
- Wolfgang Lux:
Declarative Debugging Meets the World.
65-77
- Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
A New Proposal for Debugging Datalog Programs.
79-92
- Michele Baggi, Demis Ballis:
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents.
93-109
- Bernd Braßel, Sebastian Fischer, Frank Huch:
Declaring Numbers.
111-124
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
