|
About
Conferences
Colloquium
Workshops
Practical
|
WFLP 2007 Programme
Monday, June 25, 2007
Monday, June 25
| 8:15 - 9:00 |
|
Arrival of participants and registration |
WFLP Session 1: FLP Languages (Room 35-3-26)
| 8:50 - 9:00 |
|
Welcome. |
| 9:00 - 9:30 |
|
Sebastian Fischer, Josep Silva, Salvador Tamarit and German
Vidal. Towards a Safe Partial Evaluation of Lazy Functional Logic Programs. |
| 9:30 - 10:00 |
|
Bernd Brassel, Sebastian Fischer and Frank Huch. Declaring Numbers. |
| 10:00 - 10:30 |
|
Emilio Jesús Gallego Arias, Julio Mariño and Jose Maria Rey. A Generic Semantics for Constraint Functional Logic Programming. |
| 10:30 - 11:00 |
|
Coffee Break |
WFLP Session 2: Theory (Room 35-3-26)
| 11:00 - 11:30 |
|
Murdoch Gabbay and Michael Gabbay. a-logic with an arrow. |
| 11:30 - 12:00 |
|
Javier Álvez and Paqui Lucio. A Decision Procedure for Non-failure in CLP. |
| 12:00 - 12:30 |
|
Wolfram Kahl. Lazy Call-By-Value in the Pattern Matching Calculus -
Towards Equational Reasoning for Functional-Logic Programming. |
WFLP Session 3: Debugging and tests (Room 35-3-26)
| 14:00 - 14:30 |
|
Wolfgang Lux. Declarative Debugging Meets the World. |
| 14:30 - 15:00 |
|
Rafael Caballero-Roldan, Yolanda García-Ruiz and Fernando Sáenz-Pérez. A New Proposal for Debugging Datalog Programs. |
| 15:00 - 15:30 |
|
Ron van Kesteren, Olha Shkaravska and Marko van Eekelen. Inferring static non-monotonically sized types through testing. |
| 15:30 - 16:00 |
|
Coffee Break |
WFLP Session 4: Applications (Room 35-3-26)
| 16:00 - 16:30 |
|
Tetsuo Ida, Mircea Marin and Hidekazu Takahashi. Computational Origami Construction as Constraint Solving and Rewriting. |
| 16:30 - 17:00 |
|
Michele Baggi and Demis Ballis. PHIL: A Lazy Implementation of a
Language for Approximate Filtering of XML Documents. |
| 17:00 - 17:30 |
|
Alexei Lescaylle and Alicia Villanueva. Using tccp for the Specification and Verification of Communication
Protocols. |
webmaster at rdp07 dot org
|