University of Illinois Urbana-Champaign

Generalized Rewrite Theories and Coherence Completion

Meseguer, José

Content Files
coh-compl.pdf

Permalink

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

Description

Title
Generalized Rewrite Theories and Coherence Completion
Author(s)
Meseguer, José
Issue Date
2018-03-19
Keyword(s)
  • rewriting
  • coherence
  • variants
  • symbolic execution
Date of Ingest
2018-03-19T19:32:12Z
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
Genre of Resource
Technical Report
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

Research and Tech Reports - Computer Science PRIMARY