Functional and Logic Programming

10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

  • Matthias Blume
  • Naoki Kobayashi
  • Germán Vidal

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Refereed Papers

    1. Types

      1. Didier Rémy, Boris Yakobowski
        Pages 24-39
      2. Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
        Pages 40-55
      3. Dominic Orchard, Tom Schrijvers
        Pages 56-71
    2. Program Analysis and Transformation

      1. Gilles Barthe, Pablo Buiras, César Kunz
        Pages 72-86
      2. Peter Thiemann, Martin Sulzmann
        Pages 87-102
      3. Florian Haftmann, Tobias Nipkow
        Pages 103-117
    3. Foundations

      1. Javier Álvez, Francisco J. López-Fraguas
        Pages 118-133
      2. Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
        Pages 150-164
    4. Logic Programming

      1. Jacob M. Howe, Andy King
        Pages 165-174
      2. Daniel Seidel, Janis Voigtländer
        Pages 175-190
      3. Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
        Pages 191-206
    5. Evaluation and Normalization

    6. Term Rewriting

      1. Martin Avanzini, Georg Moser
        Pages 257-271

About these proceedings

Keywords

Erlang Haskell Objective CAML compilation techniques concurrency databases declarative programs formal methods functional programming graphical user interfaces internet applications language constructs language design logic programming model checking

Editors and affiliations

  • Matthias Blume
    • 1
  • Naoki Kobayashi
    • 2
  • Germán Vidal
    • 3
  1. 1.GoogleChicagoUSA
  2. 2.Department of Computer and Mathematical SciencesTohoku UniversityMiyagiJapan
  3. 3.DSIC, MiSTTechnical University of ValenciaValenciaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-12251-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-12250-7
  • Online ISBN 978-3-642-12251-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book