Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10818)
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 2018.
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 (17 papers)
-
Front Matter
-
Back Matter
About this book
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.
Keywords
Editors and Affiliations
-
Roskilde University, Roskilde, Denmark
John P. Gallagher
-
Karlsruhe University of Applied Sciences, Karlsruhe, Germany
Martin Sulzmann
Bibliographic Information
Book Title: Functional and Logic Programming
Book Subtitle: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Editors: John P. Gallagher, Martin Sulzmann
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-90686-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Softcover ISBN: 978-3-319-90685-0Published: 24 April 2018
eBook ISBN: 978-3-319-90686-7Published: 01 May 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 281
Number of Illustrations: 74 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Programming Techniques, The Computing Profession, System Performance and Evaluation, Special Purpose and Application-Based Systems