Functional and Constraint Logic Programming

TRAMA

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.

SOMMARIO

Programming Paradigms.- Implementation and Static Analysis.- Generating and Checking Exercises.- Constraint Programming.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783030753320
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: VII, 145 p. 30 illus., 10 illus. in color.
• Pagine Arabe: 145
• Pagine Romane: vii