Functional and Logic Programming

12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

  • Michael Codish
  • Eijiro Sumii
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8475)

Table of contents

  1. Front Matter
  2. Cláudio Amaral, Mário Florido, Vítor Santos Costa
    Pages 1-17
  3. Koen Claessen, Jonas Duregård, Michał H. Pałka
    Pages 18-34
  4. Sheng Chen, Martin Erwig
    Pages 35-51
  5. Karim Barkati, Haisheng Wang, Pierre Jouvelot
    Pages 69-85
  6. Yuichiro Hanada, Atsushi Igarashi
    Pages 103-118
  7. Jeremy Yallop, Leo White
    Pages 119-135
  8. José Pedro Magalhães
    Pages 136-151
  9. Jorge Luis Sacchini
    Pages 169-185
  10. Akimasa Morihata, Masato Koishi, Atsushi Ohori
    Pages 186-202
  11. Martin Sulzmann, Kenny Zhuo Ming Lu
    Pages 203-220
  12. Thibaut Balabonski, François Pottier, Jonathan Protzenko
    Pages 253-269
  13. Jael Kriener, Andy King
    Pages 270-284
  14. Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
    Pages 285-301
  15. Paweł Parys
    Pages 302-318

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.

Keywords

concurrent programming languages constraint and logic languages distributed computing extensible markup language (XML) formal methods graphical user interfaces model checking program analysis rewrite systems type theory

Editors and affiliations

  • Michael Codish
    • 1
  • Eijiro Sumii
    • 2
  1. 1.Department of Computer ScienceBen-Gurion University of the NegevBeer ShevaIsrael
  2. 2.Graduate School of Information SciencesTohoku UniversitySendaiJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-07151-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-07150-3
  • Online ISBN 978-3-319-07151-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349