Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers / Michael Hanus, Claudio Sacerdoti Coen (eds.).
2021
QA76.62
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers / Michael Hanus, Claudio Sacerdoti Coen (eds.).
Meeting Name
ISBN
9783030753337 (electronic bk.)
3030753336 (electronic bk.)
9783030753320 (print)
3030753336 (electronic bk.)
9783030753320 (print)
Published
Cham, Switzerland : Springer, [2021]
Language
English
Description
1 online resource (vii, 145 pages) : illustrations (some color)
Item Number
10.1007/978-3-030-75333-7 doi
Call Number
QA76.62
Dewey Decimal Classification
005.1/14
Summary
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were accepted for presentation at the workshop. The accepted papers cover different programming areas of functional and logic programming, including code generation, verification, and debugging.
Note
"This volume contains the proceedings of the 28th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2020), held entirely online due to the coronavirus pandemic, but formally located in Bologna, Italy."--Preface
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 10, 2021).
Series
Lecture notes in computer science ; 12560.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in
Table of Contents
Programming Paradigms
Implementation and Static Analysis
Generating and Checking Exercises
Constraint Programming.
Implementation and Static Analysis
Generating and Checking Exercises
Constraint Programming.