Cover Image
Read Now

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

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 accepte...

Full description

Bibliographic Details
Other Authors: Hanus, Michael (Editor), Sacerdoti Coen, Claudio (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2021, 2021
Edition:1st ed. 2021
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Systems
Computer Science Logic And Foundations Of Programming
Programming Techniques
Computer Science
Computer System Implementation
Computer Programming
Formal Languages And Automata Theory
Computers
Computer Hardware
Machine Theory
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02173nmm a2200409 u 4500
001 EB001993295
003 EBX01000000000000001156197
005 00000000000000.0
007 cr|||||||||||||||||||||
008 210608 ||| eng
020 |a 9783030753337 
100 1 |a Hanus, Michael  |e [editor] 
245 0 0 |a Functional and Constraint Logic Programming  |h Elektronische Ressource  |b 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers  |c edited by Michael Hanus, Claudio Sacerdoti Coen 
250 |a 1st ed. 2021 
260 |a Cham  |b Springer International Publishing  |c 2021, 2021 
300 |a VII, 145 p. 30 illus., 10 illus. in color  |b online resource 
505 0 |a Programming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming 
653 |a Computer systems 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Programming Techniques 
653 |a Computer science 
653 |a Computer System Implementation 
653 |a Computer programming 
653 |a Formal Languages and Automata Theory 
653 |a Computers 
653 |a Computer Hardware 
653 |a Machine theory 
653 |a Special Purpose and Application-Based Systems 
653 |a Computers, Special purpose 
700 1 |a Sacerdoti Coen, Claudio  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-030-75333-7 
856 4 0 |u https://doi.org/10.1007/978-3-030-75333-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a 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 

Similar Items