Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / / edited by Michael Hanus, Claudio Sacerdoti Coen

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
• Edizione: 1st ed. 2021.
• Descrizione fisica: 1 online resource (VII, 145 p. 30 illus., 10 illus. in color.)
• Disciplina: 005.115
• Soggetto topico: Computer science; Computer programming; Computers; Machine theory; Computer systems; Computers, Special purpose; Computer Science Logic and Foundations of Programming; Programming Techniques; Computer Hardware; Formal Languages and Automata Theory; Computer System Implementation; Special Purpose and Application-Based Systems
• Persona (resp. second.): HanusMichael; CoenClaudio Sacerdoti
• Nota di contenuto: Programming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming.
• Sommario/riassunto: 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.
• Titolo autorizzato: Functional and Constraint Logic Programming
• ISBN: 3-030-75333-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483216203321
• Lo trovi qui: Univ. Federico II
• Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 12560