Skip to main content
Springer Nature Link
Account

Functional and Logic Programming

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Tom Schrijvers

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

  2. Peter Thiemann

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

  • 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)

Included in the following conference series:

Conference proceedings info: FLOPS 2012.

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

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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Programming with Boolean Satisfaction

    • Michael Codish
    Pages 1-1

  3. Automated Verification of Higher-Order Functional Programs

    • Tachio Terauchi
    Pages 2-2

  4. Dependently-Typed Programming in GHC

    • Stephanie Weirich
    Pages 3-3

  5. Call-by-Value Solvability, Revisited

    • Beniamino Accattoli, Luca Paolini
    Pages 4-16

  6. Compiling a Functional Logic Language: The Basic Scheme

    • Sergio Antoy, Arthur Peters
    Pages 17-31

  7. 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

  8. Normal Form Bisimulations for Delimited-Control Operators

    • Dariusz Biernacki, Sergueï Lenglet
    Pages 47-61

  9. Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)

    • Gerlof Bouma
    Pages 62-72

  10. Declarative Debugging of Wrong and Missing Answers for SQL Views

    • Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
    Pages 73-87

  11. Improving the Performance of FD Constraint Solving in a CFLP System

    • Ignacio Castiñeiras, Fernando Sáenz-Pérez
    Pages 88-103

  12. A General Implementation Framework for Tabled CLP

    • Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter Stuckey
    Pages 104-119

  13. Extending the \(\mathcal{TOY}\) System with the ECLiPSe Solver over Sets of Integers

    • Sonia Estévez-Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez
    Pages 120-135

  14. Correct Looping Arrows from Cyclic Terms

    • Makoto Hamana
    Pages 136-150

  15. A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom

    • Yoichi Hirai
    Pages 151-165

  16. Iteratees

    • Oleg Kiselyov
    Pages 166-181

  17. Mutual Exclusion by Interpolation

    • Jael Kriener, Andy King
    Pages 182-196

  18. Parallel Computation Skeletons with Premature Termination Property

    • Oleg Lobachev
    Pages 197-212

  19. Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems

    • Akimasa Morihata
    Pages 213-227

  20. A Data Flow Language for Hybrid Query and Programming Languages

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

Other volumes

  1. Functional and Logic Programming

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

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top