Functional and Constraint Logic Programming [[electronic resource] ] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / / edited by Michael Hanus, Claudio Sacerdoti Coen
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Functional and Constraint Logic Programming [[electronic resource] ] : 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.: | 996464438503316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 12560