Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Santiago Escobar
Themen in »Logic-Based Program Synthesis and Transformation«
program synthesis program transformation program specialization refactoring program inversion program composition program optimization system specification system analysis and verification program testing and certification AI-methods for program development verification and testing of AI-based systems transformational techniques in software engineering logic-based methods for security logic-based methods for cyber-physical and distributed system