Skip to Main content Skip to Navigation

Représentations dynamiques de l'espace dans un langage déclaratif de simulation

Abstract : The work presented in this thesis is part of the 81/2 project that develops expressive and efficient data and control constructs for the simulation of dynamical systems. The aim of this work is to define, study and develop dynamical representations of space within a declarative framework. We have introduced two new data structures in 81/2, the GBF and the amalgams, by proposing a formalization and studying their implementation. GBF allow the definition of regular and homogeneous spaces, while the amalgams allow the construction, through some computations, of heterogeneous and ad- hoc spaces. These two new notions have direct applications in the domain of simulation of highly dynamical systems (as for example growing processes in biology). They also find a direct application in computer science by defining a new framework for 1) the definition, analysis and implementation of recursive data (the GBF define for example a unified framework for the notion of array and tree); 2) the definition and formalization of new incremental programming mechanisms that are arising in recent languages like Java (amalgams allow the formalization of an instantiation mechanism by implicit name capture, and program extension). GBF and amalgams are first studied on their own and are afterwards introduced and integrated into the declarative framework of the language 81/2 to define the language 81/2D . We have shown, through numerous and significant examples, the pertinence of our choices. They put into evidence the gain of expressivity brought by the improvement of the notion of space, and by the primitives allowing the definition of objects onto those spaces. The notions of GBF and Amalgam allow the definition, in a very concise manner, of regular and irregular data structures, within a declarative framework, and open some new perspectives for the parameterization and the incremental construction of programs.
Complete list of metadata

Cited literature [126 references]  Display  Hide  Download
Contributor : Olivier Michel <>
Submitted on : Thursday, July 24, 2008 - 4:29:03 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM
Long-term archiving on: : Saturday, November 26, 2016 - 12:31:34 AM


  • HAL Id : tel-00305731, version 1



Olivier Michel. Représentations dynamiques de l'espace dans un langage déclaratif de simulation. Génie logiciel [cs.SE]. Université Paris Sud - Paris XI, 1996. Français. ⟨tel-00305731⟩



Record views


Files downloads