Incremental Pattern Matching in Graph-Based State Space Exploration

Autor: Ghamarian, A.H., Rensink, Arend, Jalali, Arash, De Lara, J., Varro, D.

Publikováno v: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 144-154
STARTPAGE=144;ENDPAGE=154;TITLE=Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010)

Graph pattern matching is among the most costly operations in any graph transformation system. Incremental pattern matching aims at reducing this cost by incrementally updating, as opposed to totally recalculating, the possible matches of rules in th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::750e89a8ec8e255c7932550fbcd18eb0
https://research.utwente.nl/en/publications/200ef86e-c7a9-485a-bf14-ad60c4ac0df7