EAN: 9783030138370

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATIO...

This book constitutes the thoroughly refereed post-conference proceedings of the 28th
International Symposium on Logic-Based Program Synthesis and Transformation  LOPSTR 2018  held
in Frankfurt Main  Germany  in September 2018.The 11 revised full papers were carefully
reviewed and selected from 29 submissions. In addition to the 11 papers  this volume includes 3
abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into
the following topics: analysis of term rewriting  logic-based distributed concurrent
programming  analysis of logic programming  and program analysis.

Aktuelle Preise zur EAN 9783030138370

Produktinformationen zur 9783030138370