Jean-Louis Giavitto, Olivier Michel  Home/Search
Context
Related
| lri.fr/LRI/articles/mi...group_wp.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.juss...ftp.lri.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a high-level programming abstraction which extends the concept of collection and array. The new construct is based on an algebra of index sets, called a shape, and a functional extension of the array type, the field type. Shape constructions are based on group theory and we introduce the neighborhood compliant recursive definition of fields. Then we show how to implement the computation of recursive abelian fields. Keywords: functional lazy array, abelian groups, recursive... (Update)
Similar documents (at the sentence level):
23.2%: Design and Implementation of 8½, a Declarative.. - Michel (1995) (Correct)
7.4%: Group-Based Fields - Giavitto, Michel, Sansonnet (1995) (Correct)
Active bibliography (related documents): More All
0.9: Data Field Computations on a Data Parallel Java.. - Giavitto, De Vito (1998) (Correct)
0.7: Design and Implementation of 8 1/2 , a Declarative Data-Parallel.. - Michel (1996) (Correct)
0.7: 8½: Data-Parallelism and Data-Flow - Michel, De Vito, Sansonnet (1996) (Correct)
Similar documents based on text: More All
0.1: Telematics For Group-Based Learning: Simplicity Versus.. - van der Veen, Collis.. (Correct)
0.1: Curriculum Vitæ - Giavitto (Correct)
0.1: Algebraic Topology for Knowledge Representation in Analogy.. - Valencia, Giavitto (1998) (Correct)
BibTeX entry: (Update)
@misc{ giavitto-implementing,
author = "Jean-Louis Giavitto and Olivier Michel",
title = "Implementing the Recursive Definition of Abelian Group-Based Fields",
url = "citeseer.ist.psu.edu/170302.html" }
Citations (may not include all citations):352 A course in computational algebraic number theory (context) - Cohen - 1993
273 Can programming be liberated from the von neumann style (context) - Backus - 1978
172 An introduction to the theory of lists (context) - Bird - 1987
166 NESL: A nested data-parallel language - Blelloch - 1993
115 Scans as primitive parallel operations - Blelloch - 1989
99 Handbook in theoretical computer science (context) - van Leeuwen - 1990
67 Dataflow analysis of scalar and array references (context) - Feautrier - 1991
58 Collection-oriented languages - Sipelstein, Blelloch - 1991
51 Worst-case complexity bounds on algorithms for computingthe .. (context) - Iliopoulos - 1989
42 Homology of higherdimensional automata - Goubault, Jensen - 1992
38 A parallel machine for multiset transformation and its progr.. (context) - anatre, Coutant et al. - 1988
37 ACM Transactions on Programming Languages and Systems (context) - Sijtsma - 1989
37 A robust parallel programming model for dynamic non-uniform .. - Kohn, Baden - 1994
32 Powerlist: a structure for parallel recursion - Misra - 1994
21 Multidimensional Programming (context) - Ashcroft, Faustini et al. - 1995
20 Algorithms for the solution of systems of linear Diophantine.. (context) - Chou, Collins - 1982
20 A parallel language and its compilation to multiprocessor ma.. (context) - Chen - 1986
19 groups and surfaces (context) - White - 1973
15 Recognizing badly presented Z-modules (context) - Havas, Holt et al. - 1993
13 Group based fields - Giavitto, Michel et al. - 1996
12 A synchronous data-flow language for massively parallel comp.. (context) - Giavitto - 1991
9 High Performance Fortran Language Specification (context) - University
8 Typing geometries of homogeneous collection (context) - Giavitto - 1992
8 Laboratoire de Recherche en Informatique (context) - Michel, Design - 1995
7 the relation between functional and dataparallel programming.. (context) - Lisper - 1993
6 special issue on Parallel Logic Programming (context) - Michel, Design - 1996
6 A calculus for exploiting data parallelism on recursively de.. - Nishimura, Ohori
5 Intensional aspects of function definitions (context) - Fredholm - 1995
5 A basis algorithm for finitely generated abelian groups (context) - Smith - 1966
5 Royal Institute of Technology (context) - Lisper, Collard et al. - 1994
5 Computer Science Today - Recent Trends and Developments (context) - Herlihy, Rajsbaum - 1995
5 An algebra of multidimensional arrays (context) - Hains, Mullin - 1991
5 Programming with sets: and introduction to SETL (context) - Schwartz, Dewar et al. - 1986
4 Definition of Alpha: a language for systolic programmation (context) - Mauras - 1989
4 IBM Journal of Research and Development (context) - Falkoff, Iverson - 1973
4 An abstract machine for partial differential equations (context) - Semenzato - 1994
3 objectoriented class library for parallel adaptative mesh re.. (context) - Balsara, Lemke et al. - 1992
3 A finiteness condition for rewriting systems (context) - Squiers, Kobayashi - 1994
3 Intensional Programming (context) - Orgun, Ashcroft - 1995
2 Parallel scheduling of recursively defined arrays: Revisited (context) - Torgersen - 1993
1 One-way cellular automata on Cayley graphs (context) - Rka - 1994
1 ftp samson (context) - onert, GAP - 1993
1 A static approach for compiling communications in parallel s.. (context) - Gautier, Germain - 1995
1 Rapport de stage du DEA Architectures Parall `eles de l'Univ.. (context) - Soula - 1996
1 Inf'erer rapidement la g'eometrie des collections (context) - Giavitto, Sansonnet et al. - 1992
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.lri.fr.html): More
A Method for Conceptual Modelling of Real-Time Expert Systems.. - Aijun An (Correct)
TASK: from the specification to the implementation. - Xavier Talon (Correct)
Adding User Interface to a Behavioral Specification - Systä (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC