Theoretical aspects of computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security. Front Matter ....Pages I-XX Front Matter ....Pages 1-1 A Formal Proof Generator from Semi-formal Proof Documents (Adrián Riesco, Kazuhiro Ogata)....Pages 3-12 Institutions for Behavioural Dynamic Logic with Binders (Rolf Hennicker, Alexandre Madeira)....Pages 13-31 The Delay Monad and Restriction Categories (Tarmo Uustalu, Niccolò Veltri)....Pages 32-50 Logical Characterisation of Parameterised Bisimulations (Divyanshu Bagga, S. Arun Kumar)....Pages 51-69 A Probabilistic Semantics for the Pure \(\lambda \)-Calculus (Alessandra Di Pierro)....Pages 70-76 Front Matter ....Pages 77-77 Towards a Calculus for Dynamic Architectures (Diego Marmsoler)....Pages 79-99 Class-Diagrams for Abstract Data Types (Thai Son Hoang, Colin Snook, Dana Dghaym, Michael Butler)....Pages 100-117 Value-Based or Conflict-Based? Opacity Definitions for STMs (Jürgen König, Heike Wehrheim)....Pages 118-135 Smaller-State Implementations of 2D FSSP Algorithms (Hiroshi Umeo, Keisuke Kubo, Akira Nomura)....Pages 136-152 Front Matter ....Pages 153-153 Derived-Term Automata of Weighted Rational Expressions with Quotient Operators (Akim Demaille, Thibaud Michaud)....Pages 155-173 Polynomial Time Learner for Inferring Subclasses of Internal Contextual Grammars with Local Maximum Selectors (Abhisek Midya, D. G. Thomas, Saleem Malik, Alok Kumar Pani)....Pages 174-191 Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes (Arpit Sharma)....Pages 192-209 Front Matter ....Pages 211-211 Constructing Cycles in the Simplex Method for DPLL(T) (Bertram Felgenhauer, Aart Middeldorp)....Pages 213-228 Tableaux with Partial Caching for Hybrid PDL with Satisfaction Statements (Agathoklis Kritsimallis)....Pages 229-247 PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba)....Pages 248-265 Front Matter ....Pages 267-267 Inferring Secrets by Guided Experiments (Quoc Huy Do, Richard Bubel, Reiner Hähnle)....Pages 269-287 ECBC: A High Performance Educational Certificate Blockchain with Efficient Query (Yuqin Xu, Shangli Zhao, Lanju Kong, Yongqing Zheng, Shidong Zhang, Qingzhong Li)....Pages 288-304 Back Matter ....Pages 305-305