Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Emanuele De Angelis, Wim Vanhoof, editors, Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings. Volume 13290 of Lecture Notes in Computer Science, Springer, 2022. [doi]

Conference: LOPSTR2022

Abstract is missing.

String Abstract Domains and Their CombinationHarald Søndergaard. 1-15 [doi]

Data Type Inference for Logic ProgrammingJoão Barbosa, Mário Florido, Vítor Santos Costa. 16-37 [doi]

Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract MachinesMaciej Buszka, Dariusz Biernacki. 38-59 [doi]

S-Semantics-an ExampleWlodzimierz Drabent. 60-74 [doi]

Disjunctive Delimited ControlAlexander Vandenbroucke, Tom Schrijvers. 75-91 [doi]

Towards Substructural Property-Based TestingMarco Mantovani, Alberto Momigliano. 92-112 [doi]

The Next 700 Program TransformersGeoff W. Hamilton. 113-134 [doi]

Representation and Processing of Instantaneous and Durative Temporal PhenomenaManolis Pitsikalis, Alexei Lisitsa, Shan Luo. 135-156 [doi]

Prefix-Based Tracing in Message-Passing ConcurrencyJuan José González-Abril, Germán Vidal. 157-175 [doi]

runs on WebDSL