Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9613)
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 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
-
Back Matter
About this book
This book
constitutes the proceedings of the 13th International Symposium on Functional
and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.
The 14 papers presented in this volume were carefully reviewed and selected
from 36 submissions. They cover the following topics: functional and logic
programming; program transformation and re-writing; and extracting programs
from proofs of their correctness.
Keywords
- Distributed systems
- Functional language
- Logic programming
- Model checking
- Type system
- Concurrent programming languages
- Constraint and logic languages
- Decision diagrams
- Distributed computing
- Formal methods
- Graphical user interfaces
- Haskell
- Parametric polymorphism
- Program analysis
- Prolog
- Resolution
- Rewrite systems
- Type inference
- Type theory
- Unification
Editors and Affiliations
-
Tohoku University, Sendai, Japan
Oleg Kiselyov
-
School of Computing, University of Kent, Canterbury, United Kingdom
Andy King
Bibliographic Information
Book Title: Functional and Logic Programming
Book Subtitle: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Editors: Oleg Kiselyov, Andy King
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-29604-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-29603-6Published: 23 February 2016
eBook ISBN: 978-3-319-29604-3Published: 22 February 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 253
Number of Illustrations: 55 illustrations in colour
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Artificial Intelligence, Programming Techniques