Files in this item

FilesDescriptionFormat

application/pdf

application/pdfcoh-compl.pdf (439kB)
(no description provided)PDF

Description

Title:Generalized Rewrite Theories and Coherence Completion
Author(s):Meseguer Jose
Subject(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.
Issue Date:2018-03-19
Genre:Technical Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/99546
Sponsor:Partially supported by by NRL under contract number N00173-17-1-G002.
Date Available in IDEALS:2018-03-19


This item appears in the following Collection(s)

Item Statistics