Volume 238,
Number 1,
June 2009
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 O. R. 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 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
Last update Sat May 26 06:15:26 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
