Logic-Based Program Synthesis and T - E-book

eBook

Logic-based Program Synthesis And Transformation - ENG

34th International Symposium, Lopstr 2024, Milan, Italy, September 9â€“10, 2024, Proceedings

eBook

$1,400.00

Disponible

Información adicional
Sinopsis

ISBN:	9783031712944
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ciencia de computación
Año de publicación:	2024-09-06

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9â€“10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows:Â Synthesis and Transformation;Â Decision Procedures;Â Deployment;Â Specification, Refactoring and Testing; and Term and Graph Rewriting.

eBooks