TY  - GEN
N2  - This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.
DO  - 10.1007/978-3-030-68446-4
DO  - doi
AB  - This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.
T1  - Logic-Based Program Synthesis and Transformation :30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
AU  - Fernández, Maribel.
VL  - 12561
CN  - QA76.63
N1  - International conference proceedings.
N1  - Conference held virtually due to the COVID-19 pandemic.
N1  - Includes author index.
ID  - 1434065
KW  - Logic programming
KW  - Computer logic
KW  - Computer software
KW  - Programmation logique
KW  - Logique informatique
SN  - 9783030684464
SN  - 3030684466
SN  - 3030684458
SN  - 9783030684457
TI  - Logic-Based Program Synthesis and Transformation :30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-68446-4
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-68446-4
ER  -