Skip to main content
SpringerLink
Log in

Functional and Logic Programming

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

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Matthias Blume

    1. Google, Chicago, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Naoki Kobayashi

    1. Department of Computer and Mathematical Sciences, Tohoku University, Miyagi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Germán Vidal

    1. DSIC, MiST, Technical University of Valencia, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Unique visibility

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FLOPS 2010.

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

  1. Front Matter

    Download chapter PDF

  3. Refereed Papers

    1. Types

      1. A Church-Style Intermediate Language for <span class="u-sans-serif">ML</span> <sup><span class="u-sans-serif">F</span></sup>
        • Didier Rémy, Boris Yakobowski
        Pages 24-39
      2. ΠΣ: Dependent Types without the Sugar
        • Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury
        Pages 40-55
      3. Haskell Type Constraints Unleashed
        • Dominic Orchard, Tom Schrijvers
        Pages 56-71

    2. Program Analysis and Transformation

      1. A Functional Framework for Result Checking
        • Gilles Barthe, Pablo Buiras, César Kunz
        Pages 72-86
      2. Tag-Free Combinators for Binding-Time Polymorphic Program Generation
        • Peter Thiemann, Martin Sulzmann
        Pages 87-102
      3. Code Generation via Higher-Order Rewrite Systems
        • Florian Haftmann, Tobias Nipkow
        Pages 103-117

    3. Foundations

      1. A Complete Axiomatization of Strict Equality
        • Javier Álvez, Francisco J. López-Fraguas
        Pages 118-133
      2. Standardization and Böhm Trees for Λ<i>μ</i>-Calculus
        • Alexis Saurin
        Pages 134-149
      3. An Integrated Distance for Atoms
        • Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
        Pages 150-164

    4. Logic Programming

      1. A Pearl on SAT Solving in Prolog
        • Jacob M. Howe, Andy King
        Pages 165-174
      2. Automatically Generating Counterexamples to Naive Free Theorems
        • Daniel Seidel, Janis Voigtländer
        Pages 175-190
      3. Applying Constraint Logic Programming to SQL Test Case Generation
        • Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
        Pages 191-206

    6. Term Rewriting

      1. Complexity Analysis by Graph Rewriting
        • Martin Avanzini, Georg Moser
        Pages 257-271
Back to top

Other volumes

  1. Functional and Logic Programming

Keywords

Editors and Affiliations

  • Google, Chicago, USA

    Matthias Blume

  • Department of Computer and Mathematical Sciences, Tohoku University, Miyagi, Japan

    Naoki Kobayashi

  • DSIC, MiST, Technical University of Valencia, Valencia, Spain

    Germán Vidal

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation