LPAR (Short Presentations)

Keyphrases

Publications

2017

David Toman, Grant E. Weddell
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). LPAR (Short Presentations) (2017)
Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
Reasoning with Concept Diagrams about Antipatterns. LPAR (Short Presentations) (2017)
Krzysztof R. Apt, Dominik Wojtczak
Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) (2017)
Christoph Benzmüller, Alexander Steen, Max Wisniewski
Leo-III Version 1.1 (System description). LPAR (Short Presentations) (2017)
Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
Abduction by Non-Experts. LPAR (Short Presentations) (2017)
Abhishek Kr Singh
Formalization of some central theorems in combinatorics of finite sets. LPAR (Short Presentations) (2017)
Olli Saarikivi, Margus Veanes
Translating C# to Branching Symbolic Transducers. LPAR (Short Presentations) (2017)

volume 1, 2017

IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 LPAR (Short Presentations) 1 (2017)