HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Gurvan Le Guernic 1 Julien Perret 2
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Gurvan Le Guernic Connect in order to contact the contributor
Submitted on : Tuesday, July 3, 2007 - 2:23:13 PM
Last modification on : Thursday, February 3, 2022 - 11:17:52 AM
Long-term archiving on: : Monday, September 24, 2012 - 10:50:28 AM


Files produced by the author(s)


  • HAL Id : inria-00159267, version 1


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⟩



Record views


Files downloads