Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleLogic-Based Program Synthesis and Transformation [electronic resource] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / edited by Fred Mesnard, Peter J. Stuckey
ImprintCham : Springer International Publishing : Imprint: Springer, 2019
Edition 1st ed. 2019
Connect to
Descript XX, 203 p. 565 illus., 4 illus. in color. online resource


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.


Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic programming -- Program analysis

Logic design Software engineering Computer science Artificial intelligence Logics and Meanings of Programs. Software Engineering. Programming Languages Compilers Interpreters. Programming Techniques. Artificial Intelligence. Mathematical Logic and Formal Languages.


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram