Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: ICTAC 2018
• Further Information: Note: Bernd Fischer, Tarmo Uustalu (eds.).
• Editors: (Computer scientist), Fischer, Bernd; Uustalu, Tarmo
• Other Names: ICTAC (Colloquium), 15th
• Contents: Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs.- LTL Semantic Tableaux and Alternating Omega-automata via Linear Factors.- Proof Nets and the Linear Substitution Calculus.- Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms.- An Automata-Based View on Configurability and Uncertainty.- Formalising Boost POSIX Regular Expression Matching.- Monoidal Multiplexing.- Input/Output Stochastic Automata with Urgency: Conuence and Weak Determinism.- Layer by Layer: Combining Monads.- Layer Systems for Confluence – Formalized.- A Metalanguage for Guarded Iteration.- Generating Armstrong ABoxes for ALC TBoxes.- Spatio-Temporal Domains: An Overview.- Checking Modal Contracts for Virtually Timed Ambients.- Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers.- Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.- Symbolic Computation via Program Transformation.- Double Applicative Functors.- Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.- Explicit Auditing.- Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables.- Complexity Results on Register Context-Free Grammars and Register Tree Automata.- Information Flow Certificates.- The Smallest FSSP Partial Solutions for One-Dimensional Ring Cellular Automata: Symmetric and Asymmetric Synchronizers.- Convex Language Semantics for Nondeterministic Probabilistic Automata.- Fast Computations on Ordered Nominal Sets.- Non-preemptive Semantics for Data-Race-Free Programs.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xvii, 533 pages), illustrations
• Subjects: 005.1015113; Computer science; Computer science -- Congresses; Computers -- Programming Languages -- General; Computers -- Intelligence (AI) & Semantics; Computers -- Software Development & Engineering -- General; Mathematics -- Logic; Programming & scripting languages: general; Artificial intelligence; Software Engineering; Mathematical theory of computation; Logic design; Artificial intelligence; Software engineering; Computers -- Programming -- General; Computer programming / software development; Electronic books
• Languages: English
• ISBNs: 9783030025083
• Related ISBNs: 303002508X; 9783030025076
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 15, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.