Verkauf durch Sack Fachmedien

Villanueva

Logic-Based Program Synthesis and Transformation

32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings

Medium: Buch
ISBN: 978-3-031-16766-9
Verlag: Springer International Publishing
Erscheinungstermin: 11.09.2022
Lieferfrist: bis zu 10 Tage

This book constitutes the refereed proceedings of the 32 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.


Produkteigenschaften


  • Artikelnummer: 9783031167669
  • Medium: Buch
  • ISBN: 978-3-031-16766-9
  • Verlag: Springer International Publishing
  • Erscheinungstermin: 11.09.2022
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2022
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert
  • Gewicht: 271 g
  • Seiten: 155
  • Format (B x H x T): 155 x 235 x 10 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.