Data structure as topological spaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2509, Issue , 2002, Pages 137-150

  Giavitto, Jean Louis ^a   Michel, Olivier ^a  

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

Author keywords

Cayley graphs; Cellular automata; Combinatorial algebraic topology; Declarative and rule based programming language; Lindenmayer system; Paun system; Rewriting; Topological collection

Indexed keywords

CELLULAR AUTOMATA; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY;

ALGEBRAIC TOPOLOGY; CAYLEY GRAPHS; LINDENMAYER SYSTEM; PAUN SYSTEM; REWRITING;

TOPOLOGY;

EID: 78049298482     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45833-6_12     Document Type: Conference Paper

References (20)

1. Peter Buneman, Shamim Naqvi, Val Tannen, and Limsoon Wong. Principles of programming with complex objects and collection types. Theoretical Computer Science, 149(1):3–48, 18 September 1995.
2. P. Fradet and D. Le Metayer. Shape types. In Proc. of Principles of Programming Languages, Paris, France, Jan. 1997. ACM Press.
3. Michael Fisher, Grant Malcolm, and Raymond Paton. Spatio-logical processes in intracellular signalling. BioSystems, 55:83–92, 2000.
4. Jacques Garrigue and H. A-Kaci. The typed polymorphic label-selective lambda-calculus. In Principles of Programming Languages, Portland, 1994.
5. J.-L. Giavitto, C. Godin, O. Michel, and P. Prusinkiewicz. Biological Modeling in the Genomic Context, chapter Computational Models for Integrative and Developmental Biology. Hermes, July 2002.
6. Jean-Louis Giavitto. A framework for the recursive definition of data structures. In Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP- 00), pages 45–55. ACM Press, September 20–23 2000.
7. E. Goubault and T. P. Jensen. Homology of higher-dimensional automata. In Proc. of CONCUR’92, Stonybrook, August 1992. Springer-Verlag.
8. J.-L. Giavitto and O. Michel. Declarative definition of group indexed data structures and approximation of their domains. In Proceedings of the 3nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP-01). ACM Press, September 2001.
9. J.-L. Giavitto and O. Michel. MGS: a programming language for the transformations of topological collections. Technical Report 61-2001, LaMI – Universitè d’èvry Val d’Essonne, May 2001. 85p.
10. Jean-Louis Giavitto and Olivier Michel. Mgs: a rule-based programming language for complex objects and collections. In Mark van den Brand and Rakesh Verma, editors, Electronic Notes in Theoretical Computer Science, volume 59. Elsevier Science Publishers, 2001.
11. J.-L. Giavitto and O. Michel. The topological structures of membrane computing. Fundamenta Informaticae, 49:107–129, 2002.
12. J.-L. Giavitto, O. Michel, and J.-P. Sansonnet. Group based fields. In I. Takayasu, R. H. Jr. Halstead, and C. Queinnec, editors, Parallel Symbolic Languages and Systems (International Workshop PSLS’95), volume 1068 of Lecture Notes in Computer Sciences, pages 209–215, Beaune (France), 2–4 October 1995. Springer
13. P. Lienhardt. Topological models for boundary representation: a comparison with n-dimensional generalized maps. Computer-Aided Design, 23(1):59–82, 1991.
14. A. Lindenmayer. Mathematical models for cellular interaction in development, Parts I and II. Journal of Theoretical Biology, 18:280–315, 1968.
15. B. Lisper. On the relation between functional and data-parallel programming languages. In Proc. of the 6th. Int. Conf. on Functional Languages and Computer Architectures. ACM, ACM Press, June 1993.
16. E. Meijer, M. Fokkinga, and R. Paterson. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In 5th ACM Conference on Functional Programming Languages and Computer Architecture, volume 523 of Lecture Notes in Computer Science, pages 124–144, Cambridge, MA, August 26–30, 1991. Springer, Berlin.
17. O. Michel.: Reprèsentations dynamiques de l’espace dans un langage dèclaratif de simulation. PhD thesis, Universitè de Paris-Sud, Centre d’Orsay, December 1996. N4596, (in french).
18. G. Paun. From cells to computers: Computing with membranes (P systems). In Workshop on Grammar Systems, Bad Ischl, Austria, July 2000.
19. Zsuzsanna Roka. One-way cellular automata on Cayley graphs. Theoretical Computer Science, 132(1–2):259–290, 26 September 1994.
20. Hubert P. Yockey, Robert P. Platzman, and Henry Quastler, editors. Symposium on Information Theory in Biology. Pergamon Press, New York, London, 1958.