Proving termination of graph transformation systems using weighted type graphs over semirings
We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a...
Main Authors: | , , , |
---|---|
Format: | Book |
Language: | English |
Published: |
s.n.
2015
|
Subjects: | |
Online Access: | https://research.tue.nl/en/publications/6ac573aa-71de-4214-80c0-9920bfd63592 https://pure.tue.nl/ws/files/3860268/568819185029266.pdf |
id |
ftuniveindcris:oai:pure.tue.nl:publications/6ac573aa-71de-4214-80c0-9920bfd63592 |
---|---|
record_format |
openpolar |
spelling |
ftuniveindcris:oai:pure.tue.nl:publications/6ac573aa-71de-4214-80c0-9920bfd63592 2023-05-15T14:59:42+02:00 Proving termination of graph transformation systems using weighted type graphs over semirings Bruggink, H.J.S. König, B. Nolte, D. Zantema, H. 2015 application/pdf https://research.tue.nl/en/publications/6ac573aa-71de-4214-80c0-9920bfd63592 https://pure.tue.nl/ws/files/3860268/568819185029266.pdf eng eng s.n. info:eu-repo/semantics/openAccess Bruggink , H J S , König , B , Nolte , D & Zantema , H 2015 , Proving termination of graph transformation systems using weighted type graphs over semirings . arXiv , vol. 1505.01695 [cs.LO] , s.n. book 2015 ftuniveindcris 2022-02-18T14:36:18Z We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which includes the tropical and arctic type graphs introduced in a previous paper and a new variant of arithmetic type graphs. These type graphs can be used to assign weights to graphs and to show that these weights decrease in every rewriting step in order to prove termination. We present an example involving counters and discuss the implementation in the tool Grez. Book Arctic Eindhoven University of Technology research portal Arctic |
institution |
Open Polar |
collection |
Eindhoven University of Technology research portal |
op_collection_id |
ftuniveindcris |
language |
English |
description |
We introduce techniques for proving uniform termination of graph transformation systems, based on matrix interpretations for string rewriting. We generalize this technique by adapting it to graph rewriting instead of string rewriting and by generalizing to ordered semirings. In this way we obtain a framework which includes the tropical and arctic type graphs introduced in a previous paper and a new variant of arithmetic type graphs. These type graphs can be used to assign weights to graphs and to show that these weights decrease in every rewriting step in order to prove termination. We present an example involving counters and discuss the implementation in the tool Grez. |
format |
Book |
author |
Bruggink, H.J.S. König, B. Nolte, D. Zantema, H. |
spellingShingle |
Bruggink, H.J.S. König, B. Nolte, D. Zantema, H. Proving termination of graph transformation systems using weighted type graphs over semirings |
author_facet |
Bruggink, H.J.S. König, B. Nolte, D. Zantema, H. |
author_sort |
Bruggink, H.J.S. |
title |
Proving termination of graph transformation systems using weighted type graphs over semirings |
title_short |
Proving termination of graph transformation systems using weighted type graphs over semirings |
title_full |
Proving termination of graph transformation systems using weighted type graphs over semirings |
title_fullStr |
Proving termination of graph transformation systems using weighted type graphs over semirings |
title_full_unstemmed |
Proving termination of graph transformation systems using weighted type graphs over semirings |
title_sort |
proving termination of graph transformation systems using weighted type graphs over semirings |
publisher |
s.n. |
publishDate |
2015 |
url |
https://research.tue.nl/en/publications/6ac573aa-71de-4214-80c0-9920bfd63592 https://pure.tue.nl/ws/files/3860268/568819185029266.pdf |
geographic |
Arctic |
geographic_facet |
Arctic |
genre |
Arctic |
genre_facet |
Arctic |
op_source |
Bruggink , H J S , König , B , Nolte , D & Zantema , H 2015 , Proving termination of graph transformation systems using weighted type graphs over semirings . arXiv , vol. 1505.01695 [cs.LO] , s.n. |
op_rights |
info:eu-repo/semantics/openAccess |
_version_ |
1766331815400833024 |