Skip to main content
  • Conference proceedings
  • © 2012

Functional and Logic Programming

11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings

  • Up-to-date results

  • Fast-track conference proceedings

  • State-of-the-art research

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

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

Conference series link(s): FLOPS: International Symposium on Functional and Logic Programming

Conference proceedings info: FLOPS 2012.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (25 papers)

  1. Front Matter

  2. Programming with Boolean Satisfaction

    • Michael Codish
    Pages 1-1
  3. Dependently-Typed Programming in GHC

    • Stephanie Weirich
    Pages 3-3
  4. Call-by-Value Solvability, Revisited

    • Beniamino Accattoli, Luca Paolini
    Pages 4-16
  5. Compiling a Functional Logic Language: The Basic Scheme

    • Sergio Antoy, Arthur Peters
    Pages 17-31
  6. Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts

    • Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin
    Pages 32-46
  7. Normal Form Bisimulations for Delimited-Control Operators

    • Dariusz Biernacki, Sergueï Lenglet
    Pages 47-61
  8. Declarative Debugging of Wrong and Missing Answers for SQL Views

    • Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
    Pages 73-87
  9. Improving the Performance of FD Constraint Solving in a CFLP System

    • Ignacio Castiñeiras, Fernando Sáenz-Pérez
    Pages 88-103
  10. A General Implementation Framework for Tabled CLP

    • Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter Stuckey
    Pages 104-119
  11. Extending the $\mathcal{TOY}$ System with the ECL i PS e Solver over Sets of Integers

    • Sonia Estévez-Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez
    Pages 120-135
  12. Correct Looping Arrows from Cyclic Terms

    • Makoto Hamana
    Pages 136-150
  13. Iteratees

    • Oleg Kiselyov
    Pages 166-181
  14. Mutual Exclusion by Interpolation

    • Jael Kriener, Andy King
    Pages 182-196
  15. A Data Flow Language for Hybrid Query and Programming Languages

    • Kristoffer H. Rose, Lionel Villard, Naoto Sato
    Pages 228-242

Other Volumes

  1. Functional and Logic Programming

About this book

This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.

Keywords

  • calculi
  • classical logic
  • constraint programming
  • first-order set theory
  • solver integration

Editors and Affiliations

  • Dept. of Applied Mathematics and Computer Science, Ghent University, Ghent, Belgium

    Tom Schrijvers

  • Dept. of Computer Science, University of Freiburg, Freiburg, Germany

    Peter Thiemann

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions