WFLP 2009 Programme

18th Int'l Workshop on Functional and
(Constraint) Logic Programming

Brasília, Brazil
28 June, 2009
Part of RDP 2009
8.00-8:30 Registration
Session 1
8.30-9.00 Ignacio Castiñeiras Pérez and Rafael del Vado Vírseda
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions
9.00-9.30 Yuki Kato and Koji Nakazawa.
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types
9.30-10.00 Manuel Hernandez.
A Taxonomy of Some Right-to-Left String-Matching Algorithms
10.00-10.30 Manuel Montenegro, Ricardo Peña and Clara Segura.
A Simple Region Inference Algorithm for a First-Order Functional Language
10.30-11.00 Coffee Break
Session 2
11.00-12.00 Claude Kirchner (Invited speaker).
Strategic Deduction
12.00-12.30 Andre Rauber du Bois, Gerson Cavalheiro and Juliana Vizzotto.
pFun: A semi-explicit parallel purely functional language
12.30-13.00 Petra Hofstedt and Kazunori Ueda.
Realizing Multiparadigm Programming based on Hierarchical Graph Rewriting
13.00-14.30 Lunch Time
Session 3
14.30-15.00 Stephan Falke and Deepak Kapur.
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
15.00-15.30 Makoto Hamana.
Semantic Labelling for Proving Termination of Combinatory Reduction Systems
15.30-16.00 Michael Leuschel, Salvador Tamarit and German Vidal.
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation
16.00-16.30 Coffee Break
Session 4
16.30-17.30 Roberto Ierusalimschy (Invited speaker).
Programming with Multiple Paradigms in Lua
17.30-17.40 Break
Session 5
17.40-18.10 Francisco Javier López-Fraguas, Enrique Martín-Martín and Juan Rodríguez-Hortalá.
Advances in type systems for Functional-Logic Programming
18:10-18:40 Javier Álvez and Francisco Javier López-Fraguas.
A Complete Axiomatization of Strict Equality over Infinite Trees
18:40-19:10 Nacho Castiñeiras and Fernando Sáenz.
Integrating ILOG CP technology into TOY
19.10-19:30 Business Meeting
19:30 Closing