Generalized rewrite theories and coherence completion

José Meseguer

doi:10.1007/978-3-319-99840-4_10

Generalized rewrite theories and coherence completion

José Meseguer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion in [3] is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories that extend those in [8] for standard rewrite theories, including a generalized notion of coherence, are given. Finally, symbolic executability, including coherence, is both ensured and made available for a wide class of such theories by automatable theory transformations.

Original language	English (US)
Title of host publication	Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings
Editors	Vlad Rusu
Publisher	Springer
Pages	164-183
Number of pages	20
ISBN (Print)	9783319998398
DOIs	https://doi.org/10.1007/978-3-319-99840-4_10
State	Published - 2018
Event	12th International Workshop on Rewriting Logic and its Applications, WRLA 2018 - Thessaloniki, Greece Duration: Jun 14 2018 → Jun 15 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11152 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	12th International Workshop on Rewriting Logic and its Applications, WRLA 2018
Country/Territory	Greece
City	Thessaloniki
Period	6/14/18 → 6/15/18

Keywords

Coherence
Rewriting
Symbolic execution
Variants

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-319-99840-4_10

Library availability

Discover UIUC Full Text

Cite this

Meseguer, J. (2018). Generalized rewrite theories and coherence completion. In V. Rusu (Ed.), Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings (pp. 164-183). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11152 LNCS). Springer. https://doi.org/10.1007/978-3-319-99840-4_10

Generalized rewrite theories and coherence completion. / Meseguer, José.
Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. ed. / Vlad Rusu. Springer, 2018. p. 164-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11152 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Meseguer, J 2018, Generalized rewrite theories and coherence completion. in V Rusu (ed.), Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11152 LNCS, Springer, pp. 164-183, 12th International Workshop on Rewriting Logic and its Applications, WRLA 2018, Thessaloniki, Greece, 6/14/18. https://doi.org/10.1007/978-3-319-99840-4_10

Meseguer J. Generalized rewrite theories and coherence completion. In Rusu V, editor, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Springer. 2018. p. 164-183. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-99840-4_10

Meseguer, José. / Generalized rewrite theories and coherence completion. Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. editor / Vlad Rusu. Springer, 2018. pp. 164-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f3bc6bc88c174b6dac08741912a709d9,

title = "Generalized rewrite theories and coherence completion",

abstract = "A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion in [3] is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories that extend those in [8] for standard rewrite theories, including a generalized notion of coherence, are given. Finally, symbolic executability, including coherence, is both ensured and made available for a wide class of such theories by automatable theory transformations.",

keywords = "Coherence, Rewriting, Symbolic execution, Variants",

author = "Jos{\'e} Meseguer",

note = "Acknowledgments. I thank the referees for their constructive criticism and valuable suggestions to improve the paper. This work has been partially supported by NRL under contract number N00173-17-1-G002.; 12th International Workshop on Rewriting Logic and its Applications, WRLA 2018 ; Conference date: 14-06-2018 Through 15-06-2018",

year = "2018",

doi = "10.1007/978-3-319-99840-4\_10",

language = "English (US)",

isbn = "9783319998398",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "164--183",

editor = "Vlad Rusu",

booktitle = "Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings",

address = "Germany",

}

TY - GEN

T1 - Generalized rewrite theories and coherence completion

AU - Meseguer, José

N1 - Acknowledgments. I thank the referees for their constructive criticism and valuable suggestions to improve the paper. This work has been partially supported by NRL under contract number N00173-17-1-G002.

PY - 2018

Y1 - 2018

N2 - A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion in [3] is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories that extend those in [8] for standard rewrite theories, including a generalized notion of coherence, are given. Finally, symbolic executability, including coherence, is both ensured and made available for a wide class of such theories by automatable theory transformations.

AB - A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion in [3] is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories that extend those in [8] for standard rewrite theories, including a generalized notion of coherence, are given. Finally, symbolic executability, including coherence, is both ensured and made available for a wide class of such theories by automatable theory transformations.

KW - Coherence

KW - Rewriting

KW - Symbolic execution

KW - Variants

UR - https://www.scopus.com/pages/publications/85053894383

UR - https://www.scopus.com/pages/publications/85053894383#tab=citedBy

U2 - 10.1007/978-3-319-99840-4_10

DO - 10.1007/978-3-319-99840-4_10

M3 - Conference contribution

AN - SCOPUS:85053894383

SN - 9783319998398

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 164

EP - 183

BT - Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings

A2 - Rusu, Vlad

PB - Springer

T2 - 12th International Workshop on Rewriting Logic and its Applications, WRLA 2018

Y2 - 14 June 2018 through 15 June 2018

ER -

Generalized rewrite theories and coherence completion

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this