transitive closure

Incremental Pattern Matching for the Efficient Computation of Transitive Closure

Introduction

Pattern matching plays a central role in graph transformations as a key technology for computing local contexts in which transformation rules are to be applied.

Attachment: 
Syndicate content