A framework for the recursive definition of data structures

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2000, Pages 45-55

  Giavitto, Jean Louis ^a  

^a CNRS   (France)

Author keywords

Evaluation strategy; Recursive definition of data structures; Static analysis of declarative language; Vector equations

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ITERATIVE METHODS; RECURSIVE FUNCTIONS; SYNTACTICS; VECTORS;

FUNCTIONAL LANGUAGES;

DATA STRUCTURES;

EID: 0034593094     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/351268.351275     Document Type: Conference Paper

References (21)

1. F. Bergeron, G. Labelle, and P. Leroux. Combinatorial species and tree-like structures, volume 67 of Encyclopedia of mathematics and its applications. Cambridge University Press, 1997. isbn 0-521-57323-8.
2. P.-L. Curien. Categorical combinators, sequential algorithms and functional programming. Research notes in theoretical computer science. Pitman, 1986. Second, revised edition, Birkhauser (1993).
3. J.-L. Giavitto. Typing geometries of homogeneous collection. In 2nd Int. workshop on array manipulation, (ATABLE), Montral, 1992.
4. J.-L. Giavitto. Rapport scientifique en vue d'obtenir l'habilitation diriger des recherches, May 1998. http://www.lri.fr/̃giavitto/Export/habilitation_anglais.ps.gz.
5. n. In EuroPar'98 Parallel Processing, Lecture Notes in Computer Science, Sept. 1998.
6. J.-L. Giavitto, O. Michel, and J.-P. Sansonnet. Group based fields. In I. Takayasu, R. H. J. Halstead, and C. Queinnec, editors, Parallel Symbolic Languages and Systems (International Workshop PSLS'95), volume 1068 of Lecture Notes in Computer Science, pages 209-215, Beaune (France), 2-4 October 1995. Springer-Verlag.
7. J.-L. Giavitto, J.-P. Sansonnet, and O. Michel. Infrer rapidement la gometrie des collections. In Workshop on Static Analysis, Bordeaux, 1992.
8. C. A. Gunter and D. S. Scott. Handbook of Theoretical Computer Science, volume 2, chapter Semantic Domains, pages 633-674. Elsevier Science, 1990.
9. P. Hudak et al. Report on the programming language HASKELL a non-strict, purely functional language, version 1.3. Yale University, CS Dept., May 1996.
10. C. B. Jay. A semantics of shape. Science of Computer Programming, 25(2-3):251-283, 1995.
11. C. B. Jay and M. Sekanina. Shape checking of array programs. Technical Report 96.09, University of Technology, Sydney, 1996.
12. A. Kennedy. Dimension types. In D. Sannella, editor, Programming Languages and Systems-ESOP'94, 5th European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 348-362, Edinburgh, U.K., 11-13 Apr. 1994. Springer.
13. E. A. Lee and D. G. Messerschmitt. Synchronous dataflow. Proc. of the IEEE, 75(9), Sept. 1987.
14. X. Leroy. The carol light system, release 0.6 documentation and user's manual. Technical report, INRIA, Sept. 1993.
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. B. Lisper and J.-F. Collard. Extent analysis of data fields. Technical Report TRITA-IT R 94:03, Royal Institute of Technology, Sweden, January 1994.
17. C. Okasaki. Purely Functional Data Structures. Cambridge University Press, Cambridge, UK, 1998.
18. B. A. Sijtsma. On the productivity of recursive list definitions. ACM Transactions on Programming Languages and Systems, 11(4):633-649, October 1989.
19. S. Thatte. A type system for implicit scaling. Science of computer programming, 17:217-245, 1991.
20. E. Violard. Typechecking of PEI expressions. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Euro-Par'97 Parallel Processing, Third International Euro-Par Conference, number 1300 in LNCS, pages 521-529, Passau, Germany, August 1997. Springer-Verlag.
21. W. W. Wadge. An extensional treatment of dataflow deadlock. Theoretical Comput. Sci., 13(1):3-15, 1981.