Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2004

Functional and Logic Programming

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

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)

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

Conference proceedings info: FLOPS 2004.

Sections

Buy it now

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

  1. Front Matter

    PDF

  2. Invited Papers

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

    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

Back to top

Keywords

Back to top

Editors and Affiliations

  • Department of Computer Science, University of Tsukuba, Japan

    Yukiyoshi Kameyama

  • Victoria Laboratory, National ICT Australia,  

    Peter J. Stuckey

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation