Advertisement

Functional and Logic Programming

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

  • Zhenjiang Hu
  • Mario Rodríguez-Artalejo
Conference proceedings FLOPS 2002

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

    1. Kokichi Futatsugi
      Pages 1-20
    2. Jérôme Siméon, Philip Wadler
      Pages 21-46
    3. María García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
      Pages 47-66
  3. Tutorial Paper

    1. Sergio Antoy, Michael Hanus
      Pages 67-87
  4. Constraints

  5. Program Transformation and Analysis

    1. Pascual Julián Iranzo
      Pages 119-133
    2. Olivier Danvy, Ulrik P. Schultz
      Pages 134-151
  6. Semantics

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

    1. Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa
      Pages 198-211
    2. Francisco Javier López-Fraguas, Jaime Sánchez-Hernández
      Pages 212-227
  8. Compilation Techniques

    1. Mikael Pettersson, Konstantinos Sagonas, Erik Johansson
      Pages 228-244
    2. Rafael Caballero, Francisco Javier López-Fraguas
      Pages 245-258
  9. Programming Methodology

    1. Jan-Georg Smaus
      Pages 259-274
    2. Eijiro Sumii, Hideo Bannai
      Pages 290-304
  10. Back Matter
    Pages 305-305

About these proceedings

Keywords

Erlang Functional programming XML compilers constraint programming formal method logic logic programming meta-programming partial methods program analysis program correctness program transformation semantics uncertainty

Editors and affiliations

  • Zhenjiang Hu
    • 1
  • Mario Rodríguez-Artalejo
    • 2
  1. 1.Department of Mathematical InformaticsUniversity of TokyoTokyoJapan
  2. 2.Department of Informatic Languages and SystemsUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45788-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44233-2
  • Online ISBN 978-3-540-45788-6
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site