Computations in Space and Space in Computations

The emergence of terms like natural computing, mimetic computing, parallel problem solving from nature, bio-inspired computing, neurocomputing, evolutionary computing, etc., shows the never ending interest of the computer scientists for the use of “natural phenomena” as “problem solving devices” or more generally, as a fruitful source of inspiration to develop new programming paradigms. It is the latter topic which interests us here. The idea of numerical experiment can be reversed and, instead of using computers to simulate a fragment of the real world, the idea is to use (a digital simulation of) the real world to compute. In this perspective, the processes that take place in the real world are the objects of a new calculus: description of the world's laws = program state of the world = data of the program parameters of the description = inputs of the program simulation = the computation

[1]  C. Barry Jay,et al.  A Semantics for Shape , 1995, Sci. Comput. Program..

[2]  F. Geurts Hierarchy of Discrete-Time Dynamical Systems, a Survey , 1995, Bull. EATCS.

[3]  Jean-Louis Giavitto,et al.  Data Structure as Topological Spaces , 2002, UMC.

[4]  Jean-Louis Giavitto,et al.  A framework for the recursive definition of data structures , 2000, PPDP '00.

[5]  Eric Goubault,et al.  Geometry and concurrency: a user's guide , 2000, Mathematical Structures in Computer Science.

[6]  Julien Cohen Typing rule-based transformations over topological collections , 2003, Electron. Notes Theor. Comput. Sci..

[7]  Cristian S. Calude,et al.  Bead-Sort: A Natural Sorting Algorithm , 2002, Bull. EATCS.

[8]  R. Brockett Dynamical systems that sort lists, diagonalize matrices, and solve linear programming problems , 1991 .

[9]  K. Mani Chandy,et al.  Reasoning About Continuous Systems , 1990, Sci. Comput. Program..

[10]  Flemming M. Damm,et al.  Subtyping with Union Types, Intersection Types and Recursive Types , 1994, TACS.

[11]  Giuseppe Castagna,et al.  Semantic subtyping , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[12]  Pascal Fradet,et al.  Structured Gamma , 1998, Sci. Comput. Program..

[13]  Arie Shoshani,et al.  System Deadlocks , 1971, CSUR.

[14]  G Păun,et al.  From cells to computers: computing with membranes (P systems). , 2001, Bio Systems.

[15]  Maarten M. Fokkinga,et al.  Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.

[16]  Przemyslaw Prusinkiewicz,et al.  L-systems: from formalism to programming languages , 1992 .

[17]  A. Lindenmayer Mathematical models for cellular interactions in development. II. Simple and branching filaments with two-sided inputs. , 1968, Journal of theoretical biology.

[18]  Xavier Leroy,et al.  A modular module system , 2000, J. Funct. Program..

[19]  A. Lindenmayer Mathematical models for cellular interactions in development. I. Filaments with one-sided inputs. , 1968, Journal of theoretical biology.

[20]  Pascal Lienhardt,et al.  Topological models for boundary representation: a comparison with n-dimensional generalized maps , 1991, Comput. Aided Des..

[21]  Ivan Moore,et al.  Automatic inheritance hierarchy restructuring and method refactoring , 1996, OOPSLA '96.

[22]  Pascal Fradet,et al.  Gamma and the Chemical Reaction Model: Fifteen Years After , 2000, WMP.

[23]  R. Sorkin Finitary substitute for continuous topology , 1991 .

[24]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[25]  Daniel Le Métayer,et al.  A parallel machine for multiset transformation and its programming style , 1988, Future Gener. Comput. Syst..

[26]  Tom Hirschowitz,et al.  Mixin modules in a call-by-value setting , 2002, TOPL.

[27]  A. Turing The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[28]  Takayasu Ito,et al.  Parallel Symbolic Languages and Systems , 1996, Lecture Notes in Computer Science.

[29]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2005 .

[30]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[31]  Pascal Fradet,et al.  Shape types , 1997, POPL '97.

[32]  Johan Jeuring,et al.  Polytypic Programming , 1996, Advanced Functional Programming.

[33]  Alexander Aiken,et al.  Type inclusion constraints and type inference , 1993, FPCA '93.

[34]  Michel Sintzoff Invariance and Contraction by Infinite Iterations of Relations , 1991, Research Directions in High-Level Parallel Programming Languages.

[35]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2006, Applications of Membrane Computing.

[36]  Zsuzsanna Róka One-way Cellular Automata on Cayley Graphs , 1993, FCT.

[37]  Olivier Michel,et al.  Computational models for integrative and developmental biology , 2002 .

[38]  Gilles Gaston Granger La Pensée de l'espace , 1999 .

[39]  Helge Kragh,et al.  Quantum Generations: A History of Physics in the Twentieth Century. , 2001 .

[40]  Jean-Louis Giavitto,et al.  A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems , 2004, ACRI.

[41]  Jean-Louis Giavitto,et al.  MGS: a Rule-Based Programming Language for Complex Objects and Collections , 2001, Electron. Notes Theor. Comput. Sci..

[42]  Przemyslaw Prusinkiewicz,et al.  The Algorithmic Beauty of Plants , 1990, The Virtual Laboratory.

[43]  Roger W. Brockett,et al.  Smooth dynamical systems which realize arithmetical and logical operations , 1989 .

[44]  Jean-Louis Giavitto,et al.  Declarative definition of group indexed data structures and approximation of their domains , 2001, PPDP '01.

[45]  Michael Henle,et al.  A combinatorial introduction to topology , 1978 .

[46]  Jean-Louis Giavitto,et al.  The Topological Structures of Membrane Computing , 2002, Fundam. Informaticae.

[47]  Jean-Louis Giavitto,et al.  Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems , 2003, RTA.

[48]  Jean-Louis Giavitto,et al.  Group-Based Fields , 1995, PSLS.

[49]  H. Weyl The Classical Groups , 1940 .