Electronic Notes in Theoretical Computer Science, Volume 219

Volume 219, November 2008

• Joost Visser, Victor L. Winter:
  Preface. 1-2
  
• Gurvan Le Guernic, Julien Perret:
  FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. 3-18
  
• Juan Antonio Guerrero, Ginés Moreno:
  Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding. 19-34
  
• Ozan Kahramanogullari:
  Maude as a Platform for Designing and Implementing Deep Inference Systems. 35-50
  
• Demis Ballis, Andrea Baruzzo, Marco Comini:
  A Rule-based Method to Match Software Patterns Against UML Models. 51-66
  
• Oana Andrei, Hélène Kirchner:
  A Rewriting Calculus for Multigraphs with Ports. 67-82
  
• José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
  A Tool for Programming with Interaction Nets. 83-96
  
• Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles:
  Rewriting Strategies in Java. 97-111
  
• Malte Appeltauer, Günter Kniesel:
  Towards Concrete Syntax Patterns for Logic-based Transformation Rules. 113-132