Bücher online kaufen
Recent Trends in Algebraic Development Techniques
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2¿5, 2018, Revised Selected Papers
Langbeschreibung
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
Inhaltsverzeichnis
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.
ISBN-13:
9783030232191
Veröffentl:
2019
Erscheinungsdatum:
26.06.2019
Seiten:
188
Autor:
Ionu¿ ¿U¿U
Gewicht:
295 g
Format:
235x155x11 mm
Serie:
11563, Theoretical Computer Science and General Issues
Sprache:
Englisch
53,49 €*
Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktageni
Alle Preise inkl. MwSt.
| zzgl. Versand