Loading...
Please wait, while we are loading the content...
Similar Documents
Term rewriting for sale (1998).
| Content Provider | CiteSeerX |
|---|---|
| Author | Brand, M. G. J. Van Den Klint, P. Verhoef, C. |
| Abstract | Term rewriting has a large potential for industrial applications, but these applications are always larger than one could ever dream of: huge sets of rewrite rules and gigantic terms to rewrite pose interesting challenges for implementors and theoreticians alike. We give a brief overview of the generation of term-rewriting-based tools as done in the Asf+Sdf Meta-Environment and then we sketch two major applications of term rewriting: transformation of legacy COBOL systems and compilation of Asf+Sdf to C. Based on these experiences we suggest the study of topics that could further advance the use of term rewriting in industrial applications: persistent term databases, generalized LR parsing versus parallel term rewriting, and coordination languages versus strategy languages. It will turn out that we have an "alien" view on research in term rewriting: properties like confluence and termination are of very limited use when selling term rewriting to industry. |
| File Format | |
| Publisher Date | 1998-01-01 |
| Access Restriction | Open |
| Subject Keyword | Term Rewriting Industrial Application Pose Interesting Challenge Huge Set Rewrite Rule Persistent Term Database Versus Parallel Term Rewriting Alien View Legacy Cobol System Asf Sdf Meta-environment Coordination Language Term-rewriting-based Tool Large Potential Brief Overview Asf Sdf Strategy Language Limited Use Major Application Gigantic Term |
| Content Type | Text |
