Overview
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)
Included in the following conference series:
Conference proceedings info: FLOPS 2018.
Buy print copy
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.
Similar content being viewed by others
Keywords
Table of contents (17 papers)
Other volumes
-
Functional and Logic Programming
Editors and Affiliations
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