FLOPS 2004
The Seventh International Symposium
on
Functional and Logic Programming
Nara, Japan
April 7-9, 2004
List of accepted papers (in the first author's alphabetical order)
- Thorsten Altenkirch, Tarmo Uustalu, "Normalization by evaluation for
$\lambda^{\to 2}$"
- Francisco Bueno, Maria Garcia de la Banda, "Set-Sharing is not Redundant
for Pair-Sharing"
- Francisco Bueno, Pedro Lopez-Garcia, Manuel Hermenegildo, "Multivariant
Non-Failure Analysis via Standard Abstract Interpretation"
- Rafael Caballero, Mario Rodriguez-Artalejo, "DDT: A Declarative Debugging
Tool for Functional-Logic Languages"
- Stephen-John Craig, "LIX: An Effective Self-Applicable Partial Evaluator
for Prolog"
- Santiago Escobar, "Implementing Natural Rewriting and Narrowing
Efficiently"
- Jacques Garrigue, "Relaxing the Value Restriction"
- Robert Glueck, Masahiko Kawabe, "Derivation of Deterministic Inverse
Progams based on LR Parsing"
- Masahito Hasegawa, "Semantics of Linear Continuation-Passing in
Call-by-Name"
- Tom Hirschowitz, "Rigid Mixin Modules"
- Pascual Julian-Iranzo, Christian Villamizar-Lamus, "Analysing Definitional
Trees: Looking for Determinism"
- Wolfram Kahl, "Basic Pattern Matching Calculi: A Fresh View on Matching
Failure"
- Kentaro Kikuchi, "A Direct Proof of Strong Normalization for an Extended
Herbelin's Calculus"
- Andy King, Lunjin Lu, "Backward Pair Sharing Anaylsis"
- Susana Munoz, Julio Marino, Juan Jose Moreno-Navarro, "Constructive
Intensional Negation"
- Mizuhito Ogawa, "Complete Axiomatization of an Algebraic Construction of
Graphs"
- Giridhar Pemmasani, Hai-feng Guo, Yifei Dong, C.R. Ramakrishnan, I.V.
Ramakrishnan, "Online Justification for Tabled Logic Programs"
- Vincent van Oostrom, "Sub-Birkhoff"
Inquiry: flops@logic.is.tsukuba.ac.jp