Generalized Rewrite Theories and Coherence Completion

Meseguer, José

Permalink

https://hdl.handle.net/2142/99546 Copy

Description

Title

Generalized Rewrite Theories and Coherence Completion

Author(s)

Meseguer, José

Issue Date

2018-03-19

Keyword(s)

• rewriting
• coherence
• variants
• symbolic execution

Abstract

A new notion of generalized rewrite theory suitable for symbolic reasoning and generalizing the standard notion is motivated and defined. Also, new requirements for symbolic executability of generalized rewrite theories that extend those 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.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/99546

Sponsor(s)/Grant Number(s)

Partially supported by by NRL under contract number N00173-17-1-G002.

Owning Collections