Description |
1 online resource (vii, 145 pages) : illustrations (some color) |
Series |
Lecture notes in computer science ; 12560 |
|
LNCS sublibrary, SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 12560.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Programming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming |
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 |
Notes |
"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 |
|
Online resource; title from PDF title page (SpringerLink, viewed May 10, 2021) |
Subject |
Functional programming (Computer science) -- Congresses
|
|
Constraint programming (Computer science) -- Congresses
|
|
Logic programming -- Congresses
|
|
Constraint programming (Computer science)
|
|
Functional programming (Computer science)
|
|
Logic programming
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Hanus, Michael, 1959- editor
|
|
Sacerdoti Coen, Claudio, editor
|
ISBN |
9783030753337 |
|
3030753336 |
|