Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers / edited by José Luiz Fiadeiro, Ionuț Țuțu.

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 contri...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Fiadeiro, José Luiz (Editor), Țuțu, Ionuț (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:1st ed. 2019.
Series:Theoretical Computer Science and General Issues ; 11563
Springer eBook Collection.
Subjects:
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Role-based Development of Dynamically Evolving Esembles
  • Parameterized Strategies Specication in Maude
  • An Algebraic Theory for Data Linkage
  • Institutions for SQL Database Schemas and Datasets
  • Finite Limits and Anti-Unication in Substitution Categories
  • A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs
  • Term Charters
  • Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories
  • Structuring Theories with Implicit Morphisms.

Similar Items