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
Electronic Edition (link) BibTeX
- Emilie Balland, Paul Brauner:
Term-graph Rewriting in Tom Using Relative Positions.
3-17
Electronic Edition (link) BibTeX
- Denis Béchet, Sylvain Lippi:
Universal Boolean Systems.
19-30
Electronic Edition (link) BibTeX
- Denis Béchet, Sylvain Lippi:
Hard combinators.
31-48
Electronic Edition (link) BibTeX
- Davide Grohmann, Marino Miculan:
An Algebra for Directed Bigraphs.
49-63
Electronic Edition (link) BibTeX
- Guillaume Bonfante, Yves Guiraud:
Intensional Properties of Polygraphs.
65-77
Electronic Edition (link) BibTeX
- Abubakar Hassan, Shinya Sato:
Interaction Nets With Nested Pattern Matching.
79-92
Electronic Edition (link) BibTeX
- Herman Geuvers, Iris Loeb:
Deduction Graphs with Universal Quantification.
93-108
Electronic Edition (link) BibTeX
- Christophe Fouqueré, Virgile Mogbil:
Rewritings for Polarized Multiplicative and Exponential Proof Structures.
109-121
Electronic Edition (link) BibTeX
- François-Régis Sinot:
Sub-lambda-calculi, Classified.
123-133
Electronic Edition (link) BibTeX
- Martin Strecker:
Modeling and Verifying Graph Transformations in Proof Assistants.
135-148
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Paul Klint, A. Taeke Kooiker, Jurgen J. Vinju:
Language Parametric Module Management for IDEs.
3-19
Electronic Edition (link) BibTeX
- Karl Trygve Kalleberg, Eelco Visser:
Fusing a Transformation Language with an Open Compiler.
21-36
Electronic Edition (link) BibTeX
- Leonard G. C. Hamey, Shirley Goldrei:
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper.
37-51
Electronic Edition (link) BibTeX
- Elizabeth Scott:
SPPF-Style Parsing From Earley Recognisers.
53-67
Electronic Edition (link) BibTeX
- Sylvain Schmitz:
An Experimental Ambiguity Detection Tool.
69-84
Electronic Edition (link) BibTeX
- Eric Bouwers, Martin Bravenboer, Eelco Visser:
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking.
85-101
Electronic Edition (link) BibTeX
- Eric Van Wyk, Derek Bodin, Jimin Gao, Lijesh Krishnan:
Silver: an Extensible Attribute Grammar System.
103-116
Electronic Edition (link) BibTeX
- Johan Åkesson, Torbjörn Ekman, Görel Hedin:
Development of a Modelica Compiler Using JastAdd.
117-131
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Arnab Ray, Rance Cleaveland:
Executable Specifications for Real-Time Distributed Systems.
3-17
Electronic Edition (link) BibTeX
- Pascal Raymond, Yvan Roux, Erwan Jahier:
Specifying and Executing Reactive Scenarios With Lutin.
19-34
Electronic Edition (link) BibTeX
- Lydie du Bousquet, Michel Delaunay:
Towards Mutation Analysis for Lustre Programs.
35-48
Electronic Edition (link) BibTeX
- Olivier Tardieu, Stephen A. Edwards:
Instantaneous Transitions in Esterel.
49-64
Electronic Edition (link) BibTeX
- Marian Boldt, Claus Traulsen, Reinhard von Hanxleden:
Worst Case Reaction Time Analysis of Concurrent Reactive Programs.
65-79
Electronic Edition (link) BibTeX
- Roopak Sinha, Partha S. Roop, Samik Basu:
A Model Checking Approach to Protocol Conversion.
81-94
Electronic Edition (link) BibTeX
- Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur:
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks.
95-110
Electronic Edition (link) BibTeX
- Jimin Gao, Mike Whalen, Eric Van Wyk:
Extending Lustre with Timeout Automata.
111-124
Electronic Edition (link) BibTeX
- David Stauch:
Modifying Contracts with Larissa Aspects.
125-140
Electronic Edition (link) BibTeX
Volume 203,
Number 5,
June 2008
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008)
Copyright © Sat May 16 23:58:27 2009
by Michael Ley (ley@uni-trier.de)
