Logic-Based Program Synthesis and Transformation, 1st ed. 2019 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Mesnard Fred, Stuckey Peter J.
Date de parution : 02-2019
Ouvrage de 203 p.
15.5x23.5 cm
Thème de Logic-Based Program Synthesis and Transformation :
Mots-clés :
logic-based program development; program synthesis; program transformation; program specialization; program composition; program optimization; program inversion; program specification; program analysis and verification; program testing and certification; program and model manipulation; transformational techniques in software engineering