Central Library

Normal view MARC view ISBD view

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

Contributor(s): Villanueva, Alicia [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 13474Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022.Description: XIII, 155 p. 31 illus., 16 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031167676.Subject(s): Computer science | Computer Science Logic and Foundations of ProgrammingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.