Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

 
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

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/