Topological rewriting and the geometrization of programming

Physica D: Nonlinear Phenomena

Volumn 237, Issue 9, 2008, Pages 1302-1314

  Giavitto, Jean Louis ^a   Spicher, Antoine ^b  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

^b LORIA   (France)

Author keywords

Data fields; Declarative language; Discrete differential operators; Spatial computing; Topological collection; Topological rewriting

Indexed keywords

CELLULAR AUTOMATA; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES;

DATA FIELDS; SPATIAL COMPUTING; TOPOLOGICAL REWRITING;

NONLINEAR PROGRAMMING;

EID: 44449105506     PISSN: 01672789     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.physd.2008.03.039     Document Type: Article

References (56)

1. Abelson H., Allen D., Coore D., Hanson C., Homsy G., Knight T.F., Nagpal R., Rauch E., Sussman G.J., and Weiss R. Amorphous computing. CACM: Commun. ACM 43 (2000)
2. Aksak B., Bhat P.S., Campbell J., DeRosa M., Funiak S., Gibbons P.B., Goldstein S.C., Guestrin C., Gupta A., Helfrich C., Hoburg J.F., Kirby B., Kuffner J., Lee P., Mowry T.C., Pillai P., Ravichandran R., Rister B.D., Seshan S., Sitti M., and Yu H. Claytronics: highly scalable communications, sensing, and actuation networks. In: Redi J., Balakrishnan H., and Zhao F. (Eds). Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005. San Diego, CA, USA, November 2-4 (2005), ACM 299
3. Banâtre J.-P., Fradet P., and Le Métayer D. Gamma and the chemical reaction model: Fifteen years after. Lecture Notes in Computer Science vol. 2235 (2001) 17-44
4. Banâtre J.-P., and Le Métayer D. The GAMMA model and its discipline of programming. Sci. Comput. Program. 15 1 (1990) 55-77
5. In: Banâtre J.-P., and Le~Métayer D. (Eds). Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel. LNCS vol. 574 (1992), Springer
6. Banâtre J.-P., Radenac Y., and Fradet P. Chemical specification of autonomic systems. IASSE (2004), ISCA 72-79
7. Barbier de Reuille P., Bohn-Courseau I., Ljung K., Morin H., Carraro N., Godin C., and Traas J. Computer simulations reveal properties of the cell-cell signaling network at the shoot apex in Arabidopsis. Proc. Natl. Acad. Sci. 103 5 (2006) 1627-1632
8. Bergeron F., Labelle G., and Leroux P. Combinatorial species and tree-like structures. Encyclopedia of Mathematics and its Applications vol. 67 (1997), Cambridge University Press. 0-521-57323-8
9. G. Berti, Generic software components for scientific computing, Ph.D. Thesis, Technical University of Cottbus, June 2001
10. Boas M.L. Mathematical Methods in the Physical Sciences. 2nd edn (1983), John Wiley and Sons
11. S. Brin, L. Page, The anatomy of a large-scale hypertextual web search engine, in: Proc. 7th Int. World Wide Web Conf., 14-18 Apr. 1998
12. Budiu M., Venkataramani G., Chelcea T., and Goldstein S.C. Spatial computation. ACM SIGPLAN Notices 39 11 (2004) 14-26
13. Chard J.A., and Shapiro V. A multivector data structure for differential forms and equations. Math. Comput. Simul. 54 1-3 (2000) 33-64
14. Chen M., il~Choo Y., and Li J. Crystal: Theory and Pragmatics of Generating Efficient Parallel Code. In: Szymanski B.K. (Ed). Parallel Functional Languages and Compilers. Frontier Series (1991), ACM Press, New York 255-308 (Chapter 7)
15. Coffman E.G., Elphick M.J., and Shoshani A. System deadlocks. Comput. Surv. 3 2 (1971) 67-78
16. Cousineau G., and Mauny M. The Functional Approach to Programming (1998), Cambridge University Press. 0-521-57183-9
17. A. De Hon, J.-L. Giavitto, and F. Gruau (Eds.), Computing media and languages for space-oriented computation: No. 06361, in: Dagsthul Seminar Proceedings, Dagsthul.http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2006361 , 3-8 September 2006
18. Dershowitz N. A Taste of Rewrite Systems. Lecture Notes in Computer Science vol. 693 (1993), Springer Verlag 199-228
19. M. Desbrun, E. Kanso, Y. Tong, Discrete differential forms for computational modeling, in: P. Schröder, Discrete Differential Geometry: An Applied Introduction. sIGGRAPH'06 Course Notes, 2006, pp. 39-54
20. H. Ehrig, M. Pfender, H.J. Schneider, Graph grammars: An algebraic approach, in: IEEE Symposium on Foundations of Computer Science, FOCS, 1973
21. Feynman R.P. There's plenty of room at the bottom - an invitation to enter a new field of physic. Eng. Sci. Magazine California Inst. Tech. 23 22 (1963) (Lecture given the 29 December 1959 at the Annual Meeting of the American Physical Society)
22. Giavitto J.-L. Invited talk: Topological collections, transformations and their application to the modeling and the simulation of dynamical systems. Rewriting Technics and Applications, RTA'03. LNCS vol. 2706 (Jun. 2003), Springer, Valencia 208-233
23. Giavitto J.-L., and Michel O. Data structure as topological spaces. Proceedings of the 3nd International Conference on Unconventional Models of Computation, UMC02. Himeji, Japan. Lecture Notes in Computer Science vol. 2509 (Oct. 2002) 137-150
24. Giavitto J.-L., and Michel O. The topological structures of membrane computing. Fund. Inform. 49 (2002) 107-129
25. Henle M. A Combinatorial Introduction to Topology (1994), Dover publications, New-York
26. Hillis W.D., and Steele Jr. G.L. Data parallel algorithms. Commun. ACM 29 12 (1986) 1170-1183
27. A.N. Hirani, Discrete exterior calculus, Ph.D. Thesis, California Institute of Technology, 2003
28. P. Horn, Autonomic computing: IBM's perspective on the state of information technology, Tech. Rep., IBM Research. http://www.research.ibm.com/autonomic/manifesto/autonomic_computing.pdf, Oct. 2001
29. IGEM, The international genetically engineered machine competition. iGEM web site, http://parts.mit.edu/igem07, 2007
30. IGEM, Modeling a synthetic multicellular bacterium, in: Modeling page of the Paris team wiki at iGEM'07, http://parts.mit.edu/igem07/index.php/Paris/Modeling, 2007
31. Karp R.M., Miller R.E., and Winograd S. The organization of computations for uniform recurrence equations. J. ACM 14 3 (1967) 563-590
32. Klette R. Cell complexes through time. In: Latecki L.J., Mount D.M., and Wu A.Y. (Eds). Vision Geometry IX. Proc. SPIE 4117 (2000) 134-145
33. Kovalevsky V. Algorithms and data structures for computer topology (2001) 38-58
34. Kung H.T. Why systolic architectures ?. Computer 15 1 (1982) 37-46
35. Lienhardt P. Topological models for boundary representation: A comparison with n-dimensional generalized maps. Comput. Aided Des. 23 1 (1991) 59-82
36. Lindenmayer A. Mathematical models for cellular interaction in development, Parts I and II. J. Theoret. Biol. 18 (1968) 280-315
37. Lisper B. On the relation between functional and data-parallel programming languages. Proc. of the 6th. Int. Conf. on Functional Languages and Computer Architectures (1993), ACM, ACM Press
38. Margolus N.H. Crystalline computation. Feynman and Computation: Exploring the Limits of Computers (1999), Perseus Books, Cambridge, MA, USA 267-305
39. Meijer E., Fokkinga M., and Paterson R. Functional programming with bananas, lenses, envelopes and barbed wire. 5th ACM Conference on Functional Programming Languages and Computer Architecture. Lecture Notes in Computer Science vol. 523 (1991), Springer, Berlin, Cambridge, MA 124-144
40. O. Michel, There's plenty of room for unconventional programming languages or declarative simulations of dynamical systems (with a dynamical structure). Habilitation Manuscript, 2007. http://www.ibisc.univ-evry.fr/~michel/Hdr/hdr.pdf
41. R. Milner, S. Stepney, Nanotechnology: Computer science opportunities and challenges. Tech. Rep., Submission by the UK Computing Research Committee to the Nanotechnology Working Group of the Royal Society and the Royal Academy of Engineering, 2003
42. Mitchinson G.J., and Wilcox M. Rule governing cell division in anaeba. Nature 239 (1972) 110-111
43. MOKA, MOKA web site. http://www.sic.sp2mi.univ-poitiers.fr/moka/, 2007
44. Monro G.P. The concept of multiset. Z. Math. Log. Grunl. Math. 33 (1987) 171-178
45. Munkres J. Elements of Algebraic Topology (1984), Addison-Wesley
46. NSF, Nsf workshop on cyber-physical systems. http://varma.ece.cmu.edu/cps/, Oct. 2006
47. Oram A. Peer-to-Peer: Harnessing the Power of Disruptive Technologies (2001), O'Reilly & Associates, Inc., Sebastopol, CA, USA
48. Prusinkiewicz P., and Hanan J. L systems: from formalism to programming languages. In: Ronzenberg G., and Salomaa A. (Eds). Lindenmayer Systems, Impacts on Theoretical Computer Science, Computer Graphics and Developmental Biology (1992), Springer Verlag 193-211
49. A. Spicher, O. Michel, Declarative modeling of a neurulation-like process, BioSystems, 2005
50. Spicher A., and Michel O. Using rewriting techniques in the simulation of dynamical systems: Application to the modeling of sperm crawling. Fifth International Conference on Computational Science, ICCS'05, Part I. LNCS vol. 3514 (2005), Springer, Atlanta, GA, USA 820-827
51. Steele G.L., and Hillis W.D. Connection machine LISP: Fine grained parallel symbolic programming. Proceedings of the 1986 ACM Conference on LISP and Functional Programming (1986), Cambridge, MA. ACM, New York, NY 279-297
52. Stepney S., Braunstein S.L., Clark J.A., Tyrrell A.M., Adamatzky A., Smith R.E., Addis T.R., Johnson C.G., Timmis J., Welch P.H., Milner R., and Partridge D. Journeys in non-classical computation II: Initial journeys and waypoints. Parallel Algorithms Appl. 21 2 (2006) 97-125
53. Toffoli T. A pedestrian's introduction to spacetime crystallography. IBM J. Res. Dev. 48 1 (2004) 13-30
54. Toffoli T., and Margolus N. Cellular Automata Machine (1987), MIT Press, Cambridge MA
55. E. Tonti, The algebraic-topological structure of physical theories, in: Glockner, P.G., Sing, M.C. (Eds.), Symmetry, Similarity and Group Theoretic Methods in Mechanics, Calgary, Canada, Aug. 1974, pp. 441-467
56. Witten T.A., and Sander L.M. Diffusion-limited aggregation, a kinetic critical phenomenon. Phys. Rev. Lett. 47 (1981) 1400-1403