LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Konstantin Korovin, Stephan Schulz 0001, Martin Suda 0001, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Volume 9 of Kalpa Publications in Computing, EasyChair, 2018. [doi]

Conference: lpar2018

Abstract is missing.

Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource SelectionMadalina Erascu, Flavia Micota, Daniela Zaharie. 1-14 [doi]

ProofWatch Meets ENIGMA: First ExperimentsZarathustra Goertzel, Jan Jakubuv, Josef Urban. 15-22 [doi]

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation LogicJens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger. 23-36 [doi]

Extending a Verified Simplex AlgorithmRené Thiemann. 37-48 [doi]

Towards Efficient Metaquery GeneratorTamar Bash, Rachel Ben-Eliyahu-Zohary. 49-57 [doi]

Symmetry breaking in a new stable model search methodTarek Khaled, Belaid Benhamou. 58-74 [doi]

HoTT-Crypt : A Study in Homotopy Type Theory based on CryptographyPaventhan Vivekanandan. 75-90 [doi]

On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham LogicPrzemyslaw Andrzej Walega. 91-106 [doi]

runs on WebDSL