Logic in Computer Science

Authors and titles for cs.LO in Oct 2020, skipping first 20

[21]  arXiv:2010.06366 [pdf, ps, other]

Title: Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties

Authors: Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre

Comments: 35 pages

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[22]  arXiv:2010.06367 [pdf, ps, other]

Title: Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

Authors: Fabian Meyer, Marcel Hark, Jürgen Giesl

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2010.06496 [pdf, ps, other]

Title: Relating Structure and Power: Extended Version

Authors: Samson Abramsky, Nihil Shah

Comments: Extended version of paper arXiv:1806.09031 which appeared in CSL 2018. To appear in Journal of Logic and Computation 2021

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[24]  arXiv:2010.07082 [pdf, ps, other]

Title: Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)

Authors: Silvio Ghilardi, Alessandro Gianola, Deepak Kapur

Subjects: Logic in Computer Science (cs.LO)

[25]  arXiv:2010.07253 [pdf, ps, other]

Title: An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

Authors: Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Comments: 25 pages (main body 21 pages). 7 figures, 6 tables

Subjects: Logic in Computer Science (cs.LO)

[26]  arXiv:2010.07284 [pdf, other]

Title: A spatial model checker in GPU (extended version)

Authors: Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

Subjects: Logic in Computer Science (cs.LO); Computer Vision and Pattern Recognition (cs.CV)

[27]  arXiv:2010.07800 [pdf, other]

Title: A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit

Authors: Tobias Reinhard, Amin Timany, Bart Jacobs

Comments: 7 pages, 11 figures, accepted at FTfJP 2020, corresponding technical report: arXiv:2007.10215

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[28]  arXiv:2010.07834 [pdf, other]

Title: Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)

Authors: Vojtěch Havlena, Ondřej Lengál

Comments: Accepted at CONCUR'21

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[29]  arXiv:2010.07899 [pdf, other]

Title: Abstract Congruence Criteria for Weak Bisimilarity

Authors: Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[30]  arXiv:2010.07912 [pdf, other]

Title: Directed Reachability for Infinite-State Systems

Authors: Michael Blondin, Christoph Haase, Philip Offtermatt

Comments: 29 pages, 13 figures

Subjects: Logic in Computer Science (cs.LO)