Volume 148, Number 1, February 2006

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004)

• 
  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

Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)

• 
  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