Skip to main content
SpringerLink
Log in
Book cover

Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Bernd Fischer

    1. Stellenbosch University, Stellenbosch, South Africa

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tarmo Uustalu

    1. Reykjavík University, Reykjavik, Iceland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11187)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  3. Contributed Talks

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. Proof Nets and the Linear Substitution Calculus

      • Beniamino Accattoli
      Pages 37-61

    3. Modular Design of Domain-Specific Languages Using Splittings of Catamorphisms

      • Éric Badouel, Rodrigue Aimé Djeumen Djatcha
      Pages 62-79

    4. An Automata-Based View on Configurability and Uncertainty

      • Martin Berglund, Ina Schaefer
      Pages 80-98

    5. Formalising Boost POSIX Regular Expression Matching

      • Martin Berglund, Willem Bester, Brink van der Merwe
      Pages 99-115

    6. Monoidal Multiplexing

      • Apiwat Chantawibul, Paweł Sobociński
      Pages 116-131

    7. Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism

      • Pedro R. D’Argenio, Raúl E. Monti
      Pages 132-152

    8. Layer by Layer – Combining Monads

      • Fredrik Dahlqvist, Louis Parlant, Alexandra Silva
      Pages 153-172

    9. Layer Systems for Confluence—Formalized

      • Bertram Felgenhauer, Franziska Rapp
      Pages 173-190Open Access

    10. A Metalanguage for Guarded Iteration

      • Sergey Goncharov, Christoph Rauch, Lutz Schröder
      Pages 191-210

    11. Generating Armstrong ABoxes for \(\mathcal {ALC}\) TBoxes

      • Henriette Harmse, Katarina Britz, Aurona Gerber
      Pages 211-230

    12. Spatio-Temporal Domains: An Overview

      • David Janin
      Pages 231-251

    13. Checking Modal Contracts for Virtually Timed Ambients

      • Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito
      Pages 252-272

    14. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

      • Martin Jonáš, Jan Strejček
      Pages 273-291

    15. Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces

      • Ruggero Lanotte, Simone Tini
      Pages 292-312

    16. Symbolic Computation via Program Transformation

      • Henrich Lauko, Petr Ročkai, Jiří Barnat
      Pages 313-332
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2018

Keywords

About this book

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.

The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.

The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.

Editors and Affiliations

  • Stellenbosch University, Stellenbosch, South Africa

    Bernd Fischer

  • Reykjavík University, Reykjavik, Iceland

    Tarmo Uustalu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation