Electronic Notes in Theoretical Computer Science, Volume 148

Volume 148, Number 1, February 2006

• Reiko Heckel:
  Preface. 1-3
  
• Uwe Kastens, Carsten Schmidt:
  Visual Patterns Associated to Abstract Trees. 5-18
  
• Mark Minas:
  Syntax Definition with Graphs. 19-40
  
• Peter D. Mosses:
  Formal Semantics of Programming Languages: - An Overview - . 41-73
  
• Hans-Jörg Kreowski, Karsten Hölscher, Peter Knirsch:
  Semantics of Visual Models in a Rule-based Setting. 75-88
  
• Luciano Baresi, Mauro Pezzè:
  An Introduction to Software Testing. 89-111
  
• Alexander Königs, Andy Schürr:
  Tool Integration with Triple Graph Grammars - A Survey. 113-150
  
• Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg:
  Transformations of Petri Nets. 151-172
  
• Leif Geiger, Albert Zündorf:
  Tool Modeling with Fujaba. 173-186
  
• Reiko Heckel:
  Graph Transformation in a Nutshell. 187-198
  

Volume 148, Number 2, March 2006

• Nick Benton, Xavier Leroy:
  Preface. 1-2
  
• Don Syme:
  Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. 3-25
  
• François Pottier:
  An Overview of Calphaml. 27-52
  
• Mark R. Shinwell:
  Fresh O'Caml: Nominal Abstract Syntax for the Masses. 53-77
  
• Guido Tack, Leif Kornstaedt, Gert Smolka:
  Generic Pickling and Minimization. 79-103
  
• Norman Ramsey, João Dias:
  An Applicative Control-Flow Graph Based on Huet's Zipper. 105-126
  
• Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
  A Library for Self-Adjusting Computation. 127-154
  
• François Pottier, Yann Régis-Gianas:
  Towards Efficient, Typed LR Parsers. 155-180
  
• Norman Ramsey:
  ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. 181-209
  
• Matthew Fluet, Riccardo Pucella:
  Practical Datatype Specializations with Phantom Types and Recursion Schemes. 211-237
  
• Martin Sulzmann, Kenny Zhuo Ming Lu:
  A Type-Safe Embedding of XDuce into ML. 239-264