Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Formalization and Abstract Implementation of Rewriting with Nested Rules*
 

Summary: 
Formalization and Abstract Implementation

of Rewriting with Nested Rules*



Sergio Antoy and Stephen Johnson

Computer Science Department
Portland State University
P.O. Box 751, Portland, OR 97207, U.S.A.
{antoy,stephenj}@cs.pdx.edu



ABSTRACT 1. INTRODUCTION
This paper formalizes term rewriting systems (TRSs),Tcallederm rewriting system*
*s [4, 5, 10, 16] are versatile models
scoped, in which a rewrite rule can be nestedowithinfanothercomputation in thei*

  

Source: Antoy, Sergio - Department of Computer Science, Portland State University

 

Collections: Computer Technologies and Information Sciences