Go to main content
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
Formats
Add to Basket
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

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

Statistics

from
to
Export