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

Volume 238, Number 4, September 2009

• 
  Michaela Huhn, Hardi Hungar:
  Preface. 1-2
• 
  Constance L. Heitmeyer:
  On the Role of Formal Methods in Software Certification: An Experience Report. 3-9
• 
  John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
  A Software Certification Consortium and its Top 9 Hurdles. 11-17
• 
  Nurlida Basir, Ewen Denney, Bernd Fischer:
  Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. 19-26
• 
  Ibrahim Habli, Tim Kelly:
  A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. 27-39
• 
  Manuel Garnacho, Michaël Périn:
  Convincing Proofs for Program Certification. 41-56
• 
  Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
  The Importance of Being Formal. 57-70
• 
  Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner:
  Model-Based Safety-Cases for Software-Intensive Systems. 71-77
• 
  László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza:
  Tool Support for Engineering Certifiable Software. 79-85

Volume 238, Number 5, October 2009

Language Descriptions, Tools and Applications, LDTA 2008, Budapest, Hungary, April 5, 2008. Proceedings

• 
  Adrian Johnstone, Jurgen J. Vinju:
  Preface. 1-2
• 
  Tristan Oliver Richard Allwood, Susan Eisenbach:
  Tickling Java with a Feather. 3-16
• 
  Anya Helene Bagge, Magne Haveraaen:
  Axiom-Based Transformations: Optimisation and Testing. 17-33
• 
  Hendrikus J. S. Basten:
  The Usability of Ambiguity Detection Methods for Context-Free Grammars. 35-46
• 
  Michel Chilowicz, Étienne Duris, Gilles Roussel:
  Finding Similarities in Source Code Through Factorization. 47-62
• 
  Merijn de Jonge:
  Developing Product Lines with Third-Party Components. 63-80
• 
  Eelco Dolstra:
  Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs. 81-99
• 
  Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure:
  Semantics Driven Disambiguation: A Comparison of Different Approaches. 101-116
• 
  Jeroen Fokker, S. Doaitse Swierstra:
  Abstract Interpretation of Functional Programs using an Attribute Grammar System. 117-133
• 
  Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
  Programming Errors in Traversal Programs Over Structured Data. 135-153
• 
  Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman:
  Declarative Intraprocedural Flow Analysis of Java Source Code. 155-171

Volume 238, Number 6, June 2010

• 
  Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
  Preface. 1-2
• 
  Samir Chouali, Hassan Mountassir, Sebti Mouelhi:
  An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. 3-13
• 
  Peter Collingbourne, Paul H. J. Kelly:
  Inference of Session Types From Control Flow. 15-40
• 
  Dimitar P. Guelev, Dang Van Hung:
  Reasoning about QoS Contracts in the Probabilistic Duration Calculus. 41-62
• 
  Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause:
  Transaction Scripts: Making Implicit Scenarios Explicit. 63-79
• 
  Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen:
  Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. 81-95