Theoretical Aspects of Computing – ICTAC 2020 : 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. Front Matter ....Pages i-xvi Front Matter ....Pages 1-1 A Flight Rule Checker for the LADEE Lunar Spacecraft (Elif Kurklu, Klaus Havelund)....Pages 3-20 Front Matter ....Pages 21-21 Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading (Arve Gengelbach, Tjark Weber)....Pages 23-42 A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages (Frits Vaandrager, Abhisek Midya)....Pages 43-63 CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications (Adrián Riesco, Kazuhiro Ogata)....Pages 64-82 Statistical Analysis of Non-deterministic Fork-Join Processes (Antoine Genitrini, Martin Pépin, Frédéric Peschanski)....Pages 83-102 On Two Characterizations of Feature Models (Ferruccio Damiani, Michael Lienhardt, Luca Paolini)....Pages 103-122 The Complexity of Boolean State Separation (Ronny Tredup, Evgeny Erofeev)....Pages 123-142 Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm (Evgeny Erofeev, Ronny Tredup)....Pages 143-160 Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages (Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi)....Pages 161-180 Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms (Mohsen Safari, Marieke Huisman)....Pages 181-199 Compositionality of Safe Communication in Systems of Team Automata (Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn)....Pages 200-220 Analysis of Bayesian Networks via Prob-Solvable Loops (Ezio Bartocci, Laura Kovács, Miroslav Stankovič)....Pages 221-241 Semantics of a Relational \(\lambda \)-Calculus (Pablo Barenbaum, Federico Lochbaum, Mariana Milicich)....Pages 242-261 Implementing Hybrid Semantics: From Functional to Imperative (Sergey Goncharov, Renato Neves, José Proença)....Pages 262-282 Implementation Correctness for Replicated Data Types, Categorically (Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino)....Pages 283-303 Front Matter ....Pages 305-305 Qsimulation V2.0: An Optimized Quantum Simulator (Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du)....Pages 307-316 Back Matter ....Pages 317-317