Skip to main content
SpringerLink
Log in

Recent Trends in Algebraic Development Techniques

24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. José Luiz Fiadeiro

    1. Royal Holloway University of London, Egham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ionuț Țuțu

    1. Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    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 11563)

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

Included in the following conference series:

Conference proceedings info: WADT 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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (9 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Role-Based Development of Dynamically Evolving Esembles

      • Rolf Hennicker
      Pages 3-24

  3. Survey Papers

    1. Front Matter

      Pages 25-25
      Download chapter PDF

    2. Parameterized Strategies Specification in Maude

      • Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
      Pages 27-44

  4. Contributed Papers

    1. Front Matter

      Pages 45-45
      Download chapter PDF

    2. An Algebraic Theory for Data Linkage

      • Liang-Ting Chen, Markus Roggenbach, John V. Tucker
      Pages 47-66

    3. Institutions for SQL Database Schemas and Datasets

      • Martin Glauer, Till Mossakowski
      Pages 67-86

    4. Finite Limits and Anti-unification in Substitution Categories

      • Wolfram Kahl
      Pages 87-102

    5. A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs

      • Wolfram Kahl, Yuhang Zhao
      Pages 103-118

    6. Term Charters

      • Alexander Knapp, María Victoria Cengarle
      Pages 119-138

    7. Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

      • Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer
      Pages 139-153

    8. Structuring Theories with Implicit Morphisms

      • Florian Rabe, Dennis Müller
      Pages 154-173

  5. Back Matter

    Pages 175-175
    Download chapter PDF
Back to top

Other volumes

  1. Recent Trends in Algebraic Development Techniques

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. 
 The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic
integration, relational databases, and service-oriented computing.

Editors and Affiliations

  • Royal Holloway University of London, Egham, UK

    José Luiz Fiadeiro

  • Simion Stoilow Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    Ionuț Țuțu

Bibliographic Information

  • Book Title: Recent Trends in Algebraic Development Techniques

  • Book Subtitle: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

  • Editors: José Luiz Fiadeiro, Ionuț Țuțu

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-23220-7

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: IFIP International Federation for Information Processing 2019

  • Softcover ISBN: 978-3-030-23219-1Published: 26 June 2019

  • eBook ISBN: 978-3-030-23220-7Published: 25 June 2019

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 175

  • Number of Illustrations: 842 b/w illustrations, 7 illustrations in colour

  • Topics: Logics and Meanings of Programs

Publish with us

Policies and ethics

Societies and partnerships

Back to top

Search

Navigation