Skip to main content
SpringerLink
Log in

Functional and Logic Programming

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Zhenjiang Hu

    1. Department of Mathematical Informatics, University of Tokyo, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mario Rodríguez-Artalejo

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FLOPS 2002.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  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

  5. 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

  6. Semantics

    1. The Well-Founded Semantics in Normal Logic Programs with Uncertainty

      • Yann Loyer, Umberto Straccia
      Pages 152-166

    2. Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

      • Masahito Hasegawa
      Pages 167-182

    3. Coinductive Interpreters for Process Calculi

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

  7. 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

  8. 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

  9. Programming Methodology

    1. The Head Condition and Polymorphic Recursion

      • Jan-Georg Smaus
      Pages 259-274

    2. Structural Abstraction and Application in Logic Programming

      • António Porto
      Pages 275-289

    3. VMλ: A Functional Calculus for Scientific Discovery

      • Eijiro Sumii, Hideo Bannai
      Pages 290-304

  10. Back Matter

    Pages 305-305
    Download chapter PDF
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation