Functional and Logic Programming

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

  • Yukiyoshi Kameyama
  • Peter J. Stuckey
Conference proceedings FLOPS 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Refereed Papers Logic and Functional-Logic Programming

    1. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
      Pages 24-38
    2. Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
      Pages 39-54
    3. Pascual Julián Iranzo, Christian Villamizar Lamus
      Pages 55-69
  4. Applications

    1. Rafael Caballero, Mario Rodríguez-Artalejo
      Pages 70-84
    2. Stephen-John Craig, Michael Leuschel
      Pages 85-99
  5. Program Analysis

    1. Francisco Bueno, Pedro López-García, Manuel Hermenegildo
      Pages 100-116
    2. Francisco Bueno, Maria Garcia de la Banda
      Pages 117-131
    3. Lunjin Lu, Andy King
      Pages 132-146
  6. Rewriting

    1. Vincent van Oostrom
      Pages 180-195
  7. Types and Modules

    1. Jacques Garrigue
      Pages 196-213
    2. Tom Hirschowitz
      Pages 214-228
  8. Logic and Semantics

  9. Functional Programming

    1. Thorsten Altenkirch, Tarmo Uustalu
      Pages 260-275

About these proceedings

Keywords

Debugging XML compilers automata functional programming logic logic programming meta-programming partial methods program analysis program correctness program transformations programming programming language semantics type systems

Editors and affiliations

  • Yukiyoshi Kameyama
    • 1
  • Peter J. Stuckey
    • 2
  1. 1.Department of Computer ScienceUniversity of TsukubaJapan
  2. 2.Victoria LaboratoryNational ICT Australia 

Bibliographic information

  • DOI https://doi.org/10.1007/b96926
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21402-1
  • Online ISBN 978-3-540-24754-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Aerospace