Sie sind hier: Startseite » EDV / Informatik

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation.
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Urheber: Mesnard, Fred; Stuckey, Peter J.
Verlag: Springer International Publishing.
23,5 x 15,5 cm. 561 Abbildungen, schwarz-weiß, 4 Abbildungen, farbig . Seiten: 203.
ISBN-13: 9783030138370.
Erscheinungsdatum: 23.02.2019

Dieses Buch stellt den gründlich referierten Post-Konferenz-Beitrag des 28. Internationalen Symposiums über Logic-Based Program Synthesis and Transformation, LOPSTR 2018, dar, das im September 2018 in Frankfurt am Main stattfand. 11 überarbeitete vollständige Beiträge wurden sorgfältig geprüft und aus 29 Einreichungen ausgewählt. Zusätzlich zu den 11 Vorträgen enthält dieser Band 3 Abstracts von eingeladenen Vorträgen und 2 Abstracts von eingeladenen Tutorials. Die Beiträge sind in folgende Themenbereiche unterteilt: Analyse des Begriffsumschreibens; logikbasierte verteilte/konkurrenzfähige Programmierung; Analyse der Logikprogrammierung; und Programmanalyse. 

Inhalt:
Computerprogrammierung und Softwareentwicklung
Compiler und Übersetzer
Programmier- und Skriptsprachen, allgemein
Software Engineering
Theoretische Informatik
Rechnerarchitektur und Logik-Entwurf
Künstliche Intelligenz


Programmsynthese; Programmanalyse und -verifikation; Programmspezialisierung; logikbasierte Programmentwicklung; Transformationstechniken in der Softwareentwicklung; Programminversion; Programmtransformation; Programmprüfung und -zertifizierung; Programmoptimierung; Programmspezifikation; Programm- und Modellmanipulation; Programmzusammensetzung