Results 1 to 9 of 9
Sort by:

  • Juggrnaut
  • Referenced in 1 article [sw13410]
  • graph grammars, more precisely context-free hyperedge replacement grammars. We will show that this...

  • GrGen
  • Referenced in 21 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...

  • AGG
  • Referenced in 50 articles [sw04449]
  • The Attributed Graph Grammar System: AGG is a...

  • MONA
  • Referenced in 133 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...

  • Smallfoot
  • Referenced in 53 articles [sw09787]
  • Smallfoot: Modular automatic assertion checking with separation logic...

  • AToM3
  • Referenced in 32 articles [sw10092]
  • AToM3 : A tool for multi-formalism and meta...

  • DiaGen
  • Referenced in 28 articles [sw10321]
  • Concepts and realization of a diagram editor generator...

  • Slide
  • Referenced in 20 articles [sw28542]
  • SLIDE - Separation Logic with Inductive Definitions. Automata-based...

  • GP 2
  • Referenced in 11 articles [sw36329]
  • GP 2 is a visual, rule-based, non...