Logic-Based Program Synthesis and Transformation  32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings /  [electronic resource] : 
edited by Alicia Villanueva. 
 - 1st ed. 2022. 
 - XIII, 155 p. 31 illus., 16 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13474  1611-3349 ; .
 - Lecture Notes in Computer Science,  13474 .
<br/><br/>Testing for Robotic Systems -- Automated Termination and Complexity Analysis -- Analysis of Rewrite Systems Analysing Parallel Complexity of Term Rewriting -- Gonnord Confluence Framework: Proving Confluence with CONFident.-Variant-based Equational Anti-unification -- Verification and Synthesis Model Checking Meets Auto-Tuning High-Performance Programs -- Building a Join-Optimizer for SoufflŽe -- From Infinity to Choreographies: Extraction for Unbounded Systems -- Logic Programming Typed SLD Resolution: Dynamic Typing for Logic Programming -- On Correctness of Normal Logic Programs. 
<br/><br/> This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different 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. 
<br/><br/><label>ISBN: </label>9783031167676 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-16767-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151