Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers / Michael Hanus, Claudio Sacerdoti Coen (eds.).
WFLP (Workshop) (28th : 2020 : Online); Hanus, Michael, 1959- editor; Sacerdoti Coen, Claudio, editor
2021
QA76.62
Available Online

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 constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers / Michael Hanus, Claudio Sacerdoti Coen (eds.).
Meeting Name WFLP (Workshop) (28th : 2020 : Online)
ISBN 9783030753337 (electronic bk.)
3030753336 (electronic bk.)
9783030753320 (print)
DOI https://doi.org/10.1007/978-3-030-75333-7
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.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed May 10, 2021).
Added Author Hanus, Michael, 1959- editor
Sacerdoti Coen, Claudio, editor
Series Lecture notes in computer science ; 12560.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Programming Paradigms
Implementation and Static Analysis
Generating and Checking Exercises
Constraint Programming.

Browse Subjects

Show more subjects...

Statistics

from
to
Export