Skip to Main content Skip to Navigation
   


Full Text Documents

9

Search


 
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/