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