Journal: Electronic Notes in Theoretical Computer Science

Volume 44, Issue 4

1 -- 15. GRACE as a unifying approach to graph-transformation-based specification
16 -- 27Francesco Parisi-Presicce. On Modifying High Level Replacement Systems
28 -- 40Gabriele Taentzer. Towards Common Exchange Formats for Graphs and Graph Transformation Systems
41 -- 51Reiko Heckel, Albert Zündorf. How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
52 -- 66Claudia Ermel, Roswitha Bardohl, Julia Padberg. Visual Design of Software Architecture and Evolution based on Graph Transformation
67 -- 79Mark Minas, Berthold Hoffmann. Specifying and Implementing Visual Process Modeling Languages with DiaGen
80 -- 92Martin Große-Rhode. Formal Concepts for an Integrated Internal Model of the UML
93 -- 106Andy Schürr. Adding Graph Transformation Concepts to UML s Constraint Language OCL
107 -- 119Luciano Baresi, Mauro Pezzè. Improving UML with Petri nets
120 -- 139Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber. The Petri Net Baukasten - Second Installment
140 -- 162Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
163 -- 187Jörg Desel, Gabriel Juhás, Robert Lorenz. Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra
188 -- 189Hartmut Ehrig, Claudia Ermel, Julia Padberg. Preface

Volume 44, Issue 3

1 -- 26David Lorge Parnas. The Tabular Method for Relational Documentation
27 -- 50Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Ulf Milanese. Prototyping and Programming with Relations
51 -- 93Wolfram Kahl. Refinement and Development of Programs from Relational Specifications
94 -- 111Diego Del Gobbo, Ali Mili. An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System
112 -- 135Ridha Khédri. Requirements Scenarios Formalization Technique: N Versions Towards One Good Version
136 -- 152Eugenio G. Omodeo, Ernst-Erich Doberkat. Algebraic semantics of ER-models in the context of the calculus of relations
153 -- 174Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni. A graphical approach to relational reasoning
175 -- 193Roberto Bruni, Fabio Gadducci. Some algebraic laws for spans
194 -- 220Michael Winter. Generating Processes from Specifications using the Relation Manipulation System RelView
221 -- 223Wolfram Kahl, David Lorge Parnas, Gunther Schmidt. RelMiS 2001 - Preface

Volume 44, Issue 2

1 -- 2Paul Klint. Collaborative Development of Interactive Language Processing Tools
9 -- 33Ralf Lämmel, Guido Wachsmuth. Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment
34 -- 58Tobias Kuipers, Joost Visser. Object-oriented Tree Traversal with JJForester
59 -- 78Görel Hedin, Eva Magnusson. JastAdd - a Java-based system for implementing front ends
79 -- 86Merijn de Jonge, Eelco Visser, Joost Visser. XT: a bundle of program transformation tools
87 -- 109Kyung-Goo Doh, Peter D. Mosses. Composing Programming Languages by Combining Action-Semantics Modules
110 -- 131José Emilio Labra Gayo, María Cándida Luengo Díez, Juan Manuel Cueva Lovelle, Agustín Cernuda del Río. LPS: A Language Prototyping System Using Modular Monadic Semantics
132 -- 156Ralf Lämmel, Günter Riedewald. Prological Language Processing
157 -- 160Luis Carlos de Sousa Menezes, Hermano Perrelli de Moura, Wanderley Cansanção, Francisco Lima, Leonardo Ribeiro 0002. An Action Semantics Integrated Development Environment
161 -- 180Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. Pattern-Matching Compiler
181 -- 205Keisuke Nakano, Susumu Nishimura. Deriving Event-Based Document Transformers from Tree-Based Specifications
206 -- 224Thomas Noll. A Rewriting Logic Implementation of Erlang
225 -- 231Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier. SmartTools: a Generator of Interactive Environment Tools
232 -- 233Mark G. J. van den Brand, Didier Parigot. Foreword

Volume 44, Issue 1

1 -- 26Peter Aczel, Jirí Adámek, Jiri Velebil. A Coalgebraic View of Infinite Trees and Iteration
27 -- 46Jirí Adámek, Hans-E. Porst. From Varieties of Algebras to Covarieties of Coalgebras
47 -- 66Luís Soares Barbosa. Process Calculià la Bird-Meertens
67 -- 87Falk Bartels. Generalised Coinduction
88 -- 127J. Robin B. Cockett. Deforestation, program transformation, and cut-elimination
128 -- 145Neil Ghani, Christoph Lüth, Federico De Marchi, John Power. Algebras, Coalgebras, Monads and Comonads
146 -- 160Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. When is a function a fold or an unfold?
161 -- 184Robert Goldblatt. A Calculus of Terms for Coalgebras of Polynomial Functors
185 -- 204H. Peter Gumm, Tobias Schröder. Monoid-labeled transition systems
205 -- 226Jesse Hughes. Modal Operators for Coequations
227 -- 240Martin Hyland, John Power. Two-dimensional linear algebra
241 -- 253Alexander Kurz. Modal Rules are Co-Implications
254 -- 270Dragan Masulovic. Invariants of monadic coalgebras
271 -- 284Dirk Pattinson. Modal Languages for Coalgebras in a Topological Setting
285 -- 288Gordon D. Plotkin. Bialgebraic Semantics and Recursion (Extended Abstract)
289 -- 307Erik Poll, Jan Zwanenburg. From Algebras and Coalgebras to Dialgebras
308 -- 309Andrea Corradini, Marina Lenisa, Ugo Montanari. Preface