Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

  • John P. Gallagher
  • Martin Sulzmann
Conference proceedings FLOPS 2018

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10818)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Oleg Kiselyov
    Pages 33-50
  3. Kazuhiko Sakaguchi
    Pages 51-67
  4. Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu
    Pages 68-83
  5. Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
    Pages 84-98
  6. Martin Avanzini, Ugo Dal Lago, Akihisa Yamada
    Pages 132-148
  7. Sergio Antoy, Michael Hanus
    Pages 149-165
  8. Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
    Pages 166-181
  9. Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey
    Pages 182-197
  10. Georg Moser, Manuel Schneckenreither
    Pages 214-229
  11. Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal
    Pages 247-263
  12. Michael Walker, Colin Runciman
    Pages 264-279
  13. Back Matter
    Pages 281-281

About these proceedings


This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.

The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. 


software engineering semantics programming languages computer software selection and evaluation parallel processing systems artificial intelligence program compilers problem solving program debugging debugging verification project management declarative programming design teaching applications

Editors and affiliations

  • John P. Gallagher
    • 1
  • Martin Sulzmann
    • 2
  1. 1.Roskilde UniversityRoskildeDenmark
  2. 2.Karlsruhe University of Applied SciencesKarlsruheGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-90685-0
  • Online ISBN 978-3-319-90686-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment