Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April 19-21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion, theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan).
1101677613
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April 19-21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion, theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan).
54.99 In Stock
Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Paperback(2010)

$54.99 
  • SHIP THIS ITEM
    In stock. Ships in 6-10 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers


Overview

This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April 19-21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). Since its 1999 edition, FLOPS proceedings have been published by Springer in its Lecture Notes in Computer Science series, as volumes 1722, 2024, 2441, 2998, 3945, and 4989, respectively. In response to the call for papers, 49 papers were submitted. Each paper was reviewed by at least three Program Committee members, with the help of expert external reviewers. The Program Committee meeting was conducted electronically, for a period of two weeks, in December 2009. After careful and thoroughdiscussion, theProgramCommitteeselected21papersforpresentation at the conference. In addition to the 21 contributed papers, the symposium included talks by three invited speakers: Brigitte Pientka (McGill University, Canada), Kostis Sagonas (National Technical University of Athens, Greece), and Naoyuki Tamura (Kobe University, Japan).

Product Details

ISBN-13: 9783642122507
Publisher: Springer Berlin Heidelberg
Publication date: 05/21/2010
Series: Lecture Notes in Computer Science , #6009
Edition description: 2010
Pages: 355
Product dimensions: 6.10(w) x 9.20(h) x 0.80(d)

Table of Contents

Invited Talks

Beluga: Programming with Dependent Types, Contextual Data, and Contexts Brigitte Pientka 1

Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs Konstantinos Sagonas 13

Solving Constraint Satisfaction Problems with SAT Technology Naoyuki Tamura Tomoya Tanjo Mutsunori Banbara 19

Refereed Papers

Types

A Church-Style Intermediate Language for MLF Didier Rémy Boris Yakobowski 24

IIσDependent Types without the Sugar Thorsten Altenkirch Nils Anders Danielsson Andres Löh Nicolas Oury 40

Haskell Type Constraints Unleashed Dominic Orchard Tom Schrijvers 56

Program Analysis and Transformation

A Functional Framework for Result Checking Gilles Barthe Pablo Buiras César Kunz 72

Tag-Free Combinatory for Binding-Time Polymorphic Program Generation Peter Thiemann Martin Sulzmann 87

Code Generation via Higher-Order Rewrite Systems Florian Haftmann Tobias Nipkow 103

Foundations

A Complete Axiomatization of Strict Equality Javier Álvez Francisco J. López-Fraguas 118

Standardization and Böhm Trees for Λμ-Calculus Alexis Saurin 134

An Integrated Distance for Atoms Vicent Estruch César Ferri José Hernández-Orallo M. José Ramírez-Quintana 150

Logic Programming

A Pearl on SAT Solving in Prolog Jacob M. Howe Andy King 165

Automatically Generating Counterexamples to Naive Free Theorems Daniel Seidel Janis Voigtländer 175

Applying Constraint Logic Programming to SQL Test Case Generation Rafael Caballero Yolanda García-Ruiz Fernando Sáenz-Pérez 191

Evaluation and Normalization

Internal Normalization, Compilation and Decompilation for System Fβη Stefano Berardi Makoto Tatsuta 207

Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel 224

Defunctionalized Interpreters for Call-by-Need Evaluation Olivier Danvy Kevin Millikin Johan Munk Ian Zerny 240

Term Rewriting

Complexity Analysis by Graph Rewriting Martin Avanzini Georg Moser 257

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus Jeroen Ketema Jakob Grue Simonsen 272

Proving Injectivity of Functions via Program Inversion in Term Rewriting Naoki Nishida Masahiko Sakai 288

Parallelism and Control

Delimited Control in OCaml, Abstractly and Concretely: System Description Oleg Kiselyov 304

Automatic Parallelization of Recursive Functions Using Quantifier Elimination Akimasa Morihata Kiminori Matsuzaki 321

A Skeleton for Distributed Work Pools in Eden Mischa Dieterle Jost Berthold Rita Loogen 337

Author Index 355

From the B&N Reads Blog

Customer Reviews