Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings / edited by Alicia Villanueva

Mitwirkende(r):

Villanueva, Alicia [HerausgeberIn]

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 13474Verlag: Cham : Springer International Publishing, 2022Verlag: Cham : Imprint: Springer, 2022Auflage: 1st ed. 2022Beschreibung: 1 Online-Ressource(XIII, 155 p. 31 illus., 16 illus. in color.)ISBN:

9783031167676

Schlagwörter:

Computer science

Andere physische Formen: 9783031167669 | 9783031167683 | Erscheint auch als: 9783031167669 Druck-Ausgabe | Erscheint auch als: 9783031167683 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-16767-6Online-Ressourcen:

Zusammenfassung: 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.Zusammenfassung: 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.PPN: PPN: 181651621XPackage identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC

Exemplare ( 0 )

Dieser Titel hat keine Exemplare