Interaction-based Programming in MGS
| Autor: | Jean-Louis Giavitto, Antoine Spicher |
|---|---|
| Přispěvatelé: | Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Synchronous Realtime Processing and Programming of Music Signals (MuTant), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Représentations musicales (Repmus), Sciences et Technologies de la Musique et du Son (STMS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Andrew Adamatzky, ANR-10-BLAN-0307,SYNBIOTIC,Systèmes biologiques de synthèse : de la conception à la compilation(2010), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Pure mathematics
Theoretical computer science Generic programming causality cochain Complex system Meristem growth interaction 0102 computer and information sciences polytypisme 01 natural sciences Toda Lattice Equations algebraic topology rule-based programming mesh subdivision [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] collection Reactive programming discrete laplacian 0101 mathematics complex systems causal set Membrane computing meristem growth Mathematics [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Model of computation 010102 general mathematics discrete differential calculus simulation [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation rewriting unconventional computing 010201 computation theory & mathematics [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT] simplicial complex Rewriting Unconventional computing topological transformation generic programming |
| Zdroj: | Advances in Unconventional Computing-Volume 1: Theory Andrew Adamatzky. Advances in Unconventional Computing-Volume 1: Theory, 22, Springer, pp.305-342, 2017, Series: Emergence, Complexity and Computation, 978-3-319-33923-8. ⟨10.1007/978-3-319-33924-5⟩ Emergence, Complexity and Computation ISBN: 9783319339238 |
| DOI: | 10.1007/978-3-319-33924-5⟩ |
| Popis: | International audience; The modeling and simulation of morphogenetic phenomena require to take into account the coupling between the processes that take place in a space and the modification of that space due to those processes, leading to a chicken-and-egg problem. To cope with this issue, we propose to consider a growing structure as the byproduct of a multitude of interactions between its constitutive elements. An interaction-based model of computation relying on spatial relationships is then developed leading to an original style of programming implemented in the MGS programming language. While MGS seems to be at first glance a domain specific programming language, its underlying interaction-based paradigm is also relevant to support the development of generic programming mechanisms. We show how the specification of space independent computations achieves polytypism and we develop a direct interpretation of well-known differential operators in term of data movements. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|