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.
Type de document :
Communication dans un congrès
Elsevier. International Workshop on Rule-Based Programming, Jun 2007, Paris/France, 2007
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00159267
Contributeur : Gurvan Le Guernic <>
Soumis le : mardi 3 juillet 2007 - 14:23:13
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : lundi 24 septembre 2012 - 10:50:28

Fichier

flic_pre-vRULE.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00159267, version 1

Citation

Gurvan Le Guernic, Julien Perret. FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Elsevier. International Workshop on Rule-Based Programming, Jun 2007, Paris/France, 2007. 〈inria-00159267〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

150