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)
Copyright © Mon Mar 15 04:00:59 2010
by Michael Ley (ley@uni-trier.de)
