Skip to main content
SpringerLink
Log in
Book cover

Functional and Logic Programming

7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Yukiyoshi Kameyama

    1. Department of Computer Science, University of Tsukuba, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter J. Stuckey

    1. Victoria Laboratory, National ICT Australia,  

    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 2998)

Included in the following conference series:

Conference proceedings info: FLOPS 2004.

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 (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. A Brief Survey of Quantum Programming Languages

      • Peter Selinger
      Pages 1-6

    2. Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic

      • Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
      Pages 7-21

    3. Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

      • Carsten Schürmann
      Pages 22-23

  3. Refereed Papers Logic and Functional-Logic Programming

    1. Online Justification for Tabled Logic Programs

      • Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 24-38

    2. Constructive Intensional Negation

      • Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
      Pages 39-54

    3. Analysing Definitional Trees: Looking for Determinism

      • Pascual Julián Iranzo, Christian Villamizar Lamus
      Pages 55-69

  4. Applications

    1. \(\mathcal{DDT}\): a Declarative Debugging Tool for Functional-Logic Languages

      • Rafael Caballero, Mario Rodríguez-Artalejo
      Pages 70-84

    2. LIX: an Effective Self-applicable Partial Evaluator for Prolog

      • Stephen-John Craig, Michael Leuschel
      Pages 85-99

  5. Program Analysis

    1. Multivariant Non-failure Analysis via Standard Abstract Interpretation

      • Francisco Bueno, Pedro López-García, Manuel Hermenegildo
      Pages 100-116

    2. Set-Sharing Is Not Always Redundant for Pair-Sharing

      • Francisco Bueno, Maria Garcia de la Banda
      Pages 117-131

    3. Backward Pair Sharing Analysis

      • Lunjin Lu, Andy King
      Pages 132-146

  6. Rewriting

    1. Implementing Natural Rewriting and Narrowing Efficiently

      • Santiago Escobar
      Pages 147-162

    2. Complete Axiomatization of an Algebraic Construction of Graphs

      • Mizuhito Ogawa
      Pages 163-179

    3. Sub-Birkhoff

      • Vincent van Oostrom
      Pages 180-195

  7. Types and Modules

    1. Relaxing the Value Restriction

      • Jacques Garrigue
      Pages 196-213

    2. Rigid Mixin Modules

      • Tom Hirschowitz
      Pages 214-228

  9. Functional Programming

    1. Normalization by Evaluation for λ →2

      • Thorsten Altenkirch, Tarmo Uustalu
      Pages 260-275
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Tsukuba, Japan

    Yukiyoshi Kameyama

  • Victoria Laboratory, National ICT Australia,  

    Peter J. Stuckey

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation