FLOPS 2002 Programme

Border Line


item September 15th, Sunday

12:30-13:50 Registration
13:50-14:00 Opening
14:00-15:00

Invited Talk 1 (Chair: Mario Rodriguez-Artalejo)

Kokichi Futatsugi
Formal Methods in CafeOBJ
15:00-15:30 Break
15:30-16:30

Session 1. Constraints (Chair: Kazunori Ueda)

Klaus Meer
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
Miguel Garcia-Diaz and Susana Nieva
Solving Mixed Quantified Constraints over a Domain based on Real Numbers and Herbrand Terms
16:30-17:00 Break
17:00-18:00

Session 2. Program Transformation and Analysis (Chair: Wei-Ngan Chin)

Pascual Julian Iranzo
On the Correctness of the Factoring Transformation
Olivier Danvy and Ulrik P. Schultz
Lambda-Lifting in Quadratic Time
18:00-20:00 Reception

item September 16th, Monday

9:00-10:00

Invited Talk 2 (Chair: Zhenjiang Hu)

Philip Wadler
The Essence of XML
10:00-10:30 Break
10:30-12:00

Session 3. Semantics (Chair: Atsushi Ohori)

Yann Loyer and Umberto Straccia
The Well-founded Semantics in Normal Logic Programs with Uncertainty
Masahito Hasegawa
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
L.S. Barbosa and J. N. Oliveira
Coinductive Interpreters for Process Calculi
12:00-13:30 Lunch
13:30-14:30

Tutorial (Chair: Tetsuo Ida)

Sergio Antoy and Michael Hanus
Functional Logic Design Patterns
14:30-15:00 Break
15:00-16:00

Session 4. Rewriting (Chair: Aart Middeldorp)

Hideto Kasuya, Masahiko Sakai, and Kiyoshi Agusa
Descendants and Head Normalization of Higher-Order Rewrite Systems
Francisco J. Lopez-Fraguas and Jaime Sanchez-Hernandez
Narrowing Failure in Functional Logic Programming
16:00-16:30 Break
16:30-17:30

Session 5. Compilation Techniques (Chair: Micheal Hanus)

Mikael Pettersson, Konstantinos Sagonas, and Erik Johansson
The HiPE/X86 Erlang Compiler: System Description and Performance Evaluation
Rafael Caballero and Francisco J. Lopez-Fraguas
Dynamic-cut with Definitional Trees
17:30-18:10 FLOPS Business Meeting
18:45-20:45 Banquet

item September 17th, Tuesday

9:00-10:00

Invited Talk 3 (Chair: Taro Suzuki)

Peter J. Stuckey
To the Gates of HAL: a HAL tutorial
10:00-10:30 Break
10:30-12:00

Session 6. Programming Methodology (Chair: Susumu Nishimura)

Jan-Georg Smaus
The Head Condition and Polymorphic Recursion
Antonio Porto
Structural Abstraction and Application in Logic Programming
Eijiro Sumii and Hideo Bannai
VMlambda: A Functional Calculus for Scientific Discovery

[Back to top]