Reflection and Strategies in Rewriting Logic

Reflection and Strategies in Rewriting Logic (1996)

by Manuel Clavel

Citations:

59 - 27 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Reflection and Strategies in Rewriting Logic	user correction - Legacy Corrections
AUTHOR NAME	Manuel Clavel	SVM HeaderParse 0.1
AUTHOR AFFIL	Computer Science Laboratory; SRI International	SVM HeaderParse 0.2
AUTHOR ADDR	Menlo Park, CA 94025, USA	SVM HeaderParse 0.1
ABSTRACT	After giving general metalogical axioms characterizing reflection in general logics in terms of the notion of a universal theory , this paper specifies a finitely presented universal theory for rewriting logic and gives a detailed proof of the claim made in [6] that rewriting logic is reflective. The paper also gives general axioms for the notion of a strategy language internal to a given logic. Exploiting the fact that rewriting logic is reflexive, a general method for defining internal strategy languages for it and proving their correctness is proposed and is illustrated with an example. The Maude language has been used as an experimental vehicle for the exploration of these techniques. They seem quite promising for applications such as metaprogramming and module composition, logical framework representations, development of formal programming and proving environments, supercompilation, and formal verification of strategies. 1 Introduction Reflection is a very desirable property of ...	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	5 found	ParsCit 1.0