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 /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Fiadeiro, José Luiz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Țuțu, Ionuț (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:1st ed. 2019.
Σειρά:Theoretical Computer Science and General Issues ; 11563
Θέματα:
Computer logic.
Logics and Meanings of Programs.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.

Παρόμοια τεκμήρια