Affordable Access

Publisher Website

FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
219
Identifiers
DOI: 10.1016/j.entcs.2008.10.031
Keywords
  • Dependency Analysis
  • Conditional Rewriting System
  • Fl-System
  • Cache
Disciplines
  • Computer Science
  • Linguistics

Abstract

Abstract FL-systems are conditional rewriting systems. They are used for programming (describing) and evaluating (generating) huge 3D virtual environments, such as cities and forests. This paper presents a formal semantics and a dynamic dependency analysis for FL-systems. This analysis allows the characterization of a set of terms which are joinable with the currently rewritten term. Consequently, it is possible to speed up the rewriting steps of the environments generation by using a cache mechanism which is smarter than standard ones. This work can be seen as a dynamic completion of a set of rewriting rules. This completion increases the number of terms which are rewritten in normal form by the application of a single rewriting rule.

There are no comments yet on this publication. Be the first to share your thoughts.