Lecture Notes in Computer Science: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

Escobar, Santiago; Titolo, Laura

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9–10, 2025.

The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

Details

Published by: Springer

Publication Date: 2025-09-13

Format: Paperback

ISBN-13: 9783032048479

DOI: 10.1007/978-3-032-04848-6

Dimensions: 235cm x155cm

Pages: 213