Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann.
2018
QA76.758
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann.
ISBN
9783319906867
3319906860
9783319906850
3319906852
9783319906850
3319906860
9783319906850
3319906852
9783319906850
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Language
English
Description
1 online resource (xvi, 281 pages) : illustrations.
Item Number
10.1007/978-3-319-90686-7 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 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. .
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Added Author
Gallagher, John P. editor.
Sulzmann, Martin. editor.
Sulzmann, Martin. editor.
Series
Lecture notes in computer science ; 10818.
Available in Other Form
Print version: 9783319906850
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources