Electronic Notes in Theoretical Computer Science, Volume 238

Volume 238, Number 1, June 2009

• Alain Girault, Éric Rutten:
  Preface. 1-2
  
• Gwenaël Delaval:
  Modular Distribution and Application to Discrete Controller Synthesis. 3-19
  
• Louis Mandel, Florence Plateau:
  Interactive Programming of Reactive Systems. 21-36
  
• Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic:
  STARPro - A new multithreaded direct execution platform for Esterel. 37-55
  
• Bijoy A. Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin:
  Generating Multi-Threaded code from Polychronous Specifications. 57-69
  

Volume 238, Number 2, June 2009

• Zoltán Porkoláb, Norbert Pataki:
  Preface. 1
  
• Mihály Biczó, Krisztián Pócza:
  Generating Functional Implementations of Finite State Automata in C# 3.0. 3-12
  
• Ed Harcourt:
  Policies of System Level Pipeline Modeling. 13-23
  
• Ruben Heradio, José Antonio Cerrada, J. C. López Ruiz, J. R. Coz:
  Code Generation with the Exemplar Flexibilization Language. 25-34
  
• Christine Hundt, Sabine Glesner:
  Optimizing Aspectual Execution Mechanisms for Embedded Applications. 35-45
  
• Ádám Sipos, Viktória Zsók:
  EClean - An Embedded Functional Language. 47-58
  
• Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer:
  Efficient and Type-Safe Generic Data Storage. 59-70
  
• Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb:
  Towards the Modularization of C++ Concept Maps. 71-82
  

Volume 238, Number 3, June 2009

• Grigore Rosu:
  Preface. 1-3
  
• Oana Agrigoroaiei, Gabriel Ciobanu:
  Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors. 5-22
  
• Oana Andrei, Dorel Lucanu:
  Strategy-Based Proof Calculus for Membrane Systems. 23-43
  
• Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
  Hierarchical Design Rewriting with Maude. 45-62
  
• Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
  A Declarative Debugger for Maude Functional Modules. 63-81
  
• Francisco Durán, Peter Csaba Ölveczky:
  A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude. 83-102
  
• Santiago Escobar, José Meseguer, Ralf Sasse:
  Variant Narrowing and Equational Unification. 103-119
  
• Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras:
  Patterns for Maude Metalanguage Applications. 121-138
  
• Lars Helge Haß, Thomas Noll:
  Equational Abstractions for Reducing the State Space of Rewrite Theories. 139-154
  
• Mark Hills:
  Memory Representations in Rewriting Logic Semantics Definitions. 155-172
  
• Bjarne Holen, Einar Broch Johnsen, Arild Waaler:
  Proof Search for the First-Order Connection Calculus in Maude. 173-188
  
• Matthias M. Hölzl, Max Meier, Martin Wirsing:
  Which Soft Constraints do you Prefer? 189-205
  
• Salvador Lucas, José Meseguer:
  Operational Termination of Membership Equational Programs: the Order-Sorted Way. 207-225
  
• Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
  A Rewriting Semantics for Maude Strategies. 227-247
  
• Adrián Riesco, Alberto Verdejo:
  Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. 249-266
  
• Dilia E. Rodríguez:
  Combining Techniques to Reduce State Space and Prove Strong Properties. 267-280
  
• Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser:
  The Second Rewrite Engines Competition. 281-291