TY - BOOK
T1 - Functional and Logic Programming
T2 - Fourteenth International Symposium on Functional and Logic Programming
A2 - Gallagher, John Patrick
A2 - Sulzmann, Martin
PY - 2018
Y1 - 2018
N2 - This volume contains the proceedings of the 14th International Symposium on Functional and Logic Programming - FLOPS 2018 - held in Nagoya, Japan, May 9 - 11, 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.
AB - This volume contains the proceedings of the 14th International Symposium on Functional and Logic Programming - FLOPS 2018 - held in Nagoya, Japan, May 9 - 11, 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.
KW - Functional programming
KW - Logic Programming
UR - https://www.springer.com/us/book/9783319906850#aboutBook
M3 - Anthology
SN - 978-3-319-90685-0
T3 - Lecture Notes in Computer Science
BT - Functional and Logic Programming
PB - Springer
CY - Switzerland
Y2 - 9 May 2018 through 11 May 2018
ER -