Change search
ReferencesLink to record
Permanent link

Direct link
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS
KTH, School of Computer Science and Communication (CSC). (Teoretisk datalogi)
(Geomatics and Computer Graphics)
2007 (English)In: International Workshop on Rule-Based Programming, Paris/France : (2007), 2007Conference paper (Refereed)
Abstract [en]

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 axioms which are joinable with the currently rewritten axiom. 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 axioms which are rewritten under normal form by the application of a single rewriting rule.

Place, publisher, year, edition, pages
Keyword [en]
cache, conditional rewriting system, dependency analysis, FL-system
National Category
Computer and Information Science
URN: urn:nbn:se:kth:diva-50701OAI: diva2:462416
RULE 2007, The Eighth International Workshop on Rule-Based Programming - jun 2007, Paris, France
QC 20111207Available from: 2011-12-07 Created: 2011-12-07 Last updated: 2011-12-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Search in DiVA

By author/editor
Le Guernic, Gurvan
By organisation
School of Computer Science and Communication (CSC)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link