ETAPS 2001 Workshops

Volume 44, Number 1, 2001

CMCS 2001 Coalgebraic Methods in Computer Science
Genova, Italy, April 6-7, 2001

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

Volume 44, Number 2, 2001

First Workshop on Language Descriptions, Tools and Applications (LDTA'01)
Genova, Italy, 7 April 2001

• 
  Paul Klint: Collaborative Development of Interactive Language Processing Tools. 1-2
• 
  Mark van den Brand, Arie van Deursen, Jan Heering, Hayco de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, Joost Visser: The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment. 3-8
• 
  Ralf Lämmel, Guido Wachsmuth: Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment. 9-33
• 
  Tobias Kuipers, Joost Visser: Object-oriented Tree Traversal with JJForester. 34-58
• 
  Görel Hedin, Eva Magnusson: JastAdd - a Java-based system for implementing front ends. 59-78
• 
  Merijn de Jonge, Eelco Visser, Joost Visser: XT: a bundle of program transformation tools. 79-86
• 
  Kyung-Goo Doh, Peter D. Mosses: Composing Programming Languages by Combining Action-Semantics Modules. 87-109
• 
  José 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. 110-131
• 
  Ralf Lämmel, Günter Riedewald: Prological Language Processing. 132-156
• 
  Luis Carlos de Sousa Menezes, Hermano Perrelli de Moura, Wanderley Cansanção, Francisco Lima, Leonardo Ribeiro: An Action Semantics Integrated Development Environment. 157-160
• 
  Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: Pattern-Matching Compiler. 161-180
• 
  Keisuke Nakano, Susumu Nishimura: Deriving Event-Based Document Transformers from Tree-Based Specifications. 181-205
• 
  Thomas Noll: A Rewriting Logic Implementation of Erlang. 206-224
• 
  Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier: SmartTools: a Generator of Interactive Environment Tools. 225-231
• 
  Mark van den Brand, Didier Parigot: Foreword. 232-233

Volume 44, Number 3, 2001

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

Volume 44, Number 4, 2001

UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques
Genova, Italy, March 31st and April 1st, 2001

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