Functional and Logic Programming

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

  • Tom Schrijvers
  • Peter Thiemann

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

Table of contents

  1. Front Matter
  2. Michael Codish
    Pages 1-1
  3. Stephanie Weirich
    Pages 3-3
  4. Beniamino Accattoli, Luca Paolini
    Pages 4-16
  5. Sergio Antoy, Arthur Peters
    Pages 17-31
  6. Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin
    Pages 32-46
  7. Dariusz Biernacki, Sergueï Lenglet
    Pages 47-61
  8. Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
    Pages 73-87
  9. Ignacio Castiñeiras, Fernando Sáenz-Pérez
    Pages 88-103
  10. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter Stuckey
    Pages 104-119
  11. Sonia Estévez-Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez
    Pages 120-135
  12. Makoto Hamana
    Pages 136-150
  13. Oleg Kiselyov
    Pages 166-181
  14. Jael Kriener, Andy King
    Pages 182-196
  15. Kristoffer H. Rose, Lionel Villard, Naoto Sato
    Pages 228-242

About these proceedings

Introduction

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

  • Tom Schrijvers
    • 1
  • Peter Thiemann
    • 2
  1. 1.Dept. of Applied Mathematics and Computer ScienceGhent UniversityGhentBelgium
  2. 2.Dept. of Computer ScienceUniversity of FreiburgFreiburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-29822-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29821-9
  • Online ISBN 978-3-642-29822-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace