FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

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

Résumé

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.
Fichier principal
Vignette du fichier
flic_pre-vRULE.pdf (334.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00159267 , version 1 (03-07-2007)

Identifiants

  • HAL Id : inria-00159267 , version 1

Citer

Gurvan Le Guernic, Julien Perret. FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. International Workshop on Rule-Based Programming, Jun 2007, Paris/France. ⟨inria-00159267⟩
515 Consultations
152 Téléchargements

Partager

More