back to the tutorial home page
back to the MGS home page
An MGS presentation in french: partial, unfinished and the syntax has dramatically changed, but it still gives a good flavor of the current MGS interpreter.
Collection and Transformation
- The first report on MGS (long)The seminal report on MGS
- The first published paper on MGS: MGS: a rule-based programming language for complex objects and collections
- Data Structure as Topological Spaces developp the idea that usual data structure must be viewed as a space where the computation moves.
- They are several variation on the semantics of topological collection and their transformation:
- A first logical approach (i.e. not very constructive) has been developed in The topological structures of membrane computing (Fundamenta Informaticae, 2002)
- The most complete is in the PhD thesis of A. Spicher: Transformation de collections topologiques de dimension aritraire. Application à la modélisation des systèmes dynamiques
- An elegant approach, relying on the approach of set rewriting developped b Raoult, is used in Declarative Mesh Subdivision Using Topological Rewriting in MGS presentend at the Conf. on Graph Rewriting (ICGT 2010, LNCS 6372).
A Functional Language
MGS is embedded in a dynamically typed functional language (higher order function, currification, functions are first class value, and all that kind of stuff).
However, the thesis of Julien Cohen (in french) investigate a type inference systems for homogeneous and heterogeneous collections. The original MGS evaluator is also described in the thesis, but see the Generic Pattern Matching section.
Examples
See the MGS Graphic Gallery for several commented and illustrated examples. See also the Application section.