Recent trends in algebraic development techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers /: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers. (2019)

• Record Type: Book
• Other Titles: WADT 2018
• Further Information: Note: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
• Editors: Fiadeiro, José Luiz, 1961-; Tutu, Ionut
• Other Names: WADT (Workshop), 24th
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (ix, 175 pages), illustrations (some color)
• Subjects: 005.1; Computer software -- Development -- Congresses; Computer science -- Mathematics -- Congresses; Formal methods (Computer science) -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030232207; 3030232204
• Related ISBNs: 9783030232191
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed July 22, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.