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
- Title:
- 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)
- Main Title:
- Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
- 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 forFormal 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. … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.341004
- Ingest File:
- 01_291.xml