Volume 203,
Number 1,
March 2008
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007)
- Ian Mackie, Detlef Plump:
Preface.
1-2
- Emilie Balland, Paul Brauner:
Term-graph Rewriting in Tom Using Relative Positions.
3-17
- Denis Béchet, Sylvain Lippi:
Universal Boolean Systems.
19-30
- Denis Béchet, Sylvain Lippi:
Hard combinators.
31-48
- Davide Grohmann, Marino Miculan:
An Algebra for Directed Bigraphs.
49-63
- Guillaume Bonfante, Yves Guiraud:
Intensional Properties of Polygraphs.
65-77
- Abubakar Hassan, Shinya Sato:
Interaction Nets With Nested Pattern Matching.
79-92
- Herman Geuvers, Iris Loeb:
Deduction Graphs with Universal Quantification.
93-108
- Christophe Fouqueré, Virgile Mogbil:
Rewritings for Polarized Multiplicative and Exponential Proof Structures.
109-121
- François-Régis Sinot:
Sub-lambda-calculi, Classified.
123-133
- Martin Strecker:
Modeling and Verifying Graph Transformations in Proof Assistants.
135-148
Volume 203,
Number 2,
April 2008
Proceedings of the Seventh Workshop on Language Descriptions,
Tools,
and Applications (LDTA 2007)
- Anthony Sloane, Adrian Johnstone:
Preface.
1-2
- Paul Klint, A. Taeke Kooiker, Jurgen J. Vinju:
Language Parametric Module Management for IDEs.
3-19
- Karl Trygve Kalleberg, Eelco Visser:
Fusing a Transformation Language with an Open Compiler.
21-36
- Leonard G. C. Hamey, Shirley Goldrei:
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper.
37-51
- Elizabeth Scott:
SPPF-Style Parsing From Earley Recognisers.
53-67
- Sylvain Schmitz:
An Experimental Ambiguity Detection Tool.
69-84
- Eric Bouwers, Martin Bravenboer, Eelco Visser:
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking.
85-101
- Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan:
Silver: an Extensible Attribute Grammar System.
103-116
- Johan Åkesson, Torbjörn Ekman, Görel Hedin:
Development of a Modelica Compiler Using JastAdd.
117-131
Volume 203,
Number 3,
May 2008
Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2007)
Volume 203,
Number 4,
June 2008
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P 2007)
- Joaquin Aguado, Michael Mendler:
Preface.
1-2
- Arnab Ray, Rance Cleaveland:
Executable Specifications for Real-Time Distributed Systems.
3-17
- Pascal Raymond, Yvan Roux, Erwan Jahier:
Specifying and Executing Reactive Scenarios With Lutin.
19-34
- Lydie du Bousquet, Michel Delaunay:
Towards Mutation Analysis for Lustre Programs.
35-48
- Olivier Tardieu, Stephen A. Edwards:
Instantaneous Transitions in Esterel.
49-64
- Marian Boldt, Claus Traulsen, Reinhard von Hanxleden:
Worst Case Reaction Time Analysis of Concurrent Reactive Programs.
65-79
- Roopak Sinha, Partha S. Roop, Samik Basu:
A Model Checking Approach to Protocol Conversion.
81-94
- Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur:
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks.
95-110
- Jimin Gao, Mike Whalen, Eric Van Wyk:
Extending Lustre with Timeout Automata.
111-124
- David Stauch:
Modifying Contracts with Larissa Aspects.
125-140
Volume 203,
Number 5,
June 2008
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008)
Volume 203,
Number 6,
November 2008
Volume 203,
Number 7,
April 2009
- Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner:
Preface.
1-2
- Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields:
A True-Concurrent Interpretation of Behavioural Scenarios.
3-22
- Samuel Colin, Arnaud Lanoix, Jeanine Souquières:
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement.
23-35
- Julia Padberg, Hartmut Ehrig, Fernando Orejas:
Towards Component Verification in the Generic Component Framework.
37-53
- Tomas Matousek, Pavel Jezek:
DeSpec: Modeling the Windows Driver Environment.
55-69
- Peter Szulman:
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems.
71-85
- Marieke Huisman, Dilian Gurov:
Composing Modal Properties of Programs with Procedures.
87-101
- Christiano Braga, Fabricio Chalub, Alexandre Sztajnberg:
A Formal Semantics for a Quality of Service Contract Language.
103-120
- Lionel Morel, Louis Mandel:
Executable Contracts for Incremental Prototypes of Embedded Systems.
121-135
Last update Sat May 26 06:15:24 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
