Skip to main content
  • Conference proceedings
  • © 2002

Functional and Logic Programming

6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2441)

Conference series link(s): FLOPS: International Symposium on Functional and Logic Programming

Conference proceedings info: FLOPS 2002.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

    Pages I-X
  2. Invited Papers

    1. Formal Methods in CafeOBJ

      • Kokichi Futatsugi
      Pages 1-20
    2. The Essence of XML (Preliminary Version)

      • Jérôme Siméon, Philip Wadler
      Pages 21-46
    3. To the Gates of HAL: A HAL Tutorial

      • María García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
      Pages 47-66
  3. Tutorial Paper

    1. Functional Logic Design Patterns

      • Sergio Antoy, Michael Hanus
      Pages 67-87
  4. Program Transformation and Analysis

    1. On the Correctness of the Factoring Transformation

      • Pascual Julián Iranzo
      Pages 119-133
    2. Lambda-Lifting in Quadratic Time

      • Olivier Danvy, Ulrik P. Schultz
      Pages 134-151
  5. Semantics

    1. Coinductive Interpreters for Process Calculi

      • Luís Soares Barbosa, José Nuno Oliveira
      Pages 183-197
  6. Rewriting

    1. Descendants and Head Normalization of Higher-Order Rewrite Systems

      • Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
      Pages 198-211
    2. Narrowing Failure in Functional Logic Programming

      • Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
      Pages 212-227
  7. Compilation Techniques

    1. The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation

      • Mikael Pettersson, Konstantinos Sagonas, Erik Johansson
      Pages 228-244
    2. Dynamic-Cut with Definitional Trees

      • Rafael Caballero, Francisco Javier López-Fraguas
      Pages 245-258
  8. Programming Methodology

    1. The Head Condition and Polymorphic Recursion

      • Jan-Georg Smaus
      Pages 259-274
    2. VMλ: A Functional Calculus for Scientific Discovery

      • Eijiro Sumii, Hideo Bannai
      Pages 290-304
  9. Back Matter

    Pages 305-305

Other Volumes

  1. Functional and Logic Programming

Editors and Affiliations

  • Department of Mathematical Informatics, University of Tokyo, Tokyo, Japan

    Zhenjiang Hu

  • Department of Informatic Languages and Systems, Universidad Complutense de Madrid, Madrid, Spain

    Mario Rodríguez-Artalejo

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access