Amazon cover image
Image from Amazon.com

Recent trends in algebraic development techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers / José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 11563. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham, Switzerland : Springer, 2019Description: 1 online resource (ix, 175 pages) : illustrations (some color)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783030232207
  • 3030232204
Other title:
  • WADT 2018
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.76.D47
Online resources:
Contents:
Role-based development of dynamically evolving ensembles / Rolf Hennicker -- Parameterized strategies specification in Maude / Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, and Alberto Verdejo -- An algebraic theory for data linkage / Liang-Ting Chen, Markus Roggenbach, and John V. Tucker -- Institutions for SQL database schemas and datasets / Martin Glauer and Till Mossakowski -- Finite limits and anti-unification in substitution categories / Wolfram Kahl -- A flexible categorial formalisation of term graphs as directed hypergraphs / Wolfram Kahl and Yuhang Zhao -- Term charters / Alexander Knapp and María Victoria Cengarle -- Constructing constraint-preserving interaction schemes in adhesive categories / Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, and Gabriele Taentzer -- Structuring theories with implicit morphisms / Florian Rabe and Dennis Müller.
In: Springer eBooksSummary: 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. -- Provided by publisher.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed July 22, 2019).

Role-based development of dynamically evolving ensembles / Rolf Hennicker -- Parameterized strategies specification in Maude / Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, and Alberto Verdejo -- An algebraic theory for data linkage / Liang-Ting Chen, Markus Roggenbach, and John V. Tucker -- Institutions for SQL database schemas and datasets / Martin Glauer and Till Mossakowski -- Finite limits and anti-unification in substitution categories / Wolfram Kahl -- A flexible categorial formalisation of term graphs as directed hypergraphs / Wolfram Kahl and Yuhang Zhao -- Term charters / Alexander Knapp and María Victoria Cengarle -- Constructing constraint-preserving interaction schemes in adhesive categories / Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, and Gabriele Taentzer -- Structuring theories with implicit morphisms / Florian Rabe and Dennis Müller.

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. -- Provided by publisher.

Powered by Koha