6. FLOPS 2002: Aizu, Japan

Zhenjiang Hu, Mario Rodríguez-Artalejo (Eds.): Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441 Springer 2002, ISBN 3-540-44233-2

Invited Papers

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Futatsugi02
- ask others
Kokichi Futatsugi: Formal Methods in CafeOBJ. 1-20
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/SimeonW02
- ask others
Jérôme Siméon, Philip Wadler: The Essence of XML (Preliminary Version). 21-46
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/BandaDMS02
- ask others
Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey: To the Gates of HAL: A HAL Tutorial. 47-66

Tutorial Paper

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/AntoyH02
- ask others
Sergio Antoy, Michael Hanus: Functional Logic Design Patterns. 67-87

Constraints

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Meer02
- ask others
Klaus Meer: On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. 88-102
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Garcia-DiazN02
- ask others
Miguel García-Díaz, Susana Nieva: Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. 103-118

Program Transformation and Analysis

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Iranzo02
- ask others
Pascual Julián Iranzo: On the Correctness of the Factoring Transformation. 119-133
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/DanvyS02
- ask others
Olivier Danvy, Ulrik Pagh Schultz: Lambda-Lifting in Quadratic Time. 134-151

Semantics

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/LoyerS02
- ask others
Yann Loyer, Umberto Straccia: The Well-Founded Semantics in Normal Logic Programs with Uncertainty. 152-166
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Hasegawa02
- ask others
Masahito Hasegawa: Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. 167-182
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/BarbosaO02
- ask others
Luís Soares Barbosa, José Nuno Oliveira: Coinductive Interpreters for Process Calculi. 183-197

Rewriting

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/KasuyaSA02
- ask others
Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa: Descendants and Head Normalization of Higher-Order Rewrite Systems. 198-211
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Lopez-FraguasS02
- ask others
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Narrowing Failure in Functional Logic Programming. 212-227

Compilation Techniques

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/PetterssonSJ02
- ask others
Mikael Pettersson, Konstantinos F. Sagonas, Erik Johansson: The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. 228-244
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/CaballeroL02
- ask others
Rafael Caballero, Francisco Javier López-Fraguas: Dynamic-Cut with Definitional Trees. 245-258

Programming Methodology

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Smaus02
- ask others
Jan-Georg Smaus: The Head Condition and Polymorphic Recursion. 259-274
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/Porto02
- ask others
António Porto: Structural Abstraction and Application in Logic Programming. 275-289
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/flops/SumiiB02
- ask others
Eijiro Sumii, Hideo Bannai: VM lambda: A Functional Calculusfor Scientific Discovery. 290-304