Table of Contents
|
Recent Trends in Algebraic Development Techniques
José Fiadeiro, Ionuț Țuțu |
Front Matter |
Invited Talks
|
Role-Based Development of Dynamically Evolving Esembles
Rolf Hennicker |
3-24 |
Survey Papers
|
Parameterized Strategies Specification in Maude
Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo |
27-44 |
Contributed Papers
|
An Algebraic Theory for Data Linkage
Liang-Ting Chen, Markus Roggenbach, John Tucker |
47-66 |
Institutions for SQL Database Schemas and Datasets
Martin Glauer, Till Mossakowski |
67-86 |
Finite Limits and Anti-unification in Substitution Categories
Wolfram Kahl |
87-102 |
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs
Wolfram Kahl, Yuhang Zhao |
103-118 |
Term Charters
Alexander Knapp, María Cengarle |
119-138 |
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories
Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer |
139-153 |
Structuring Theories with Implicit Morphisms
Florian Rabe, Dennis Müller |
154-173 |
Hosted by HAL : 