Functional Array Programming in SaC

These notes present an introduction into array-based programming from a functional, i.e., side-effect-free perspective.

[1]  Sjaak Smetsers,et al.  Fusion in Practice , 2002, IFL.

[2]  David C. Cann,et al.  Retire Fortran?: a debate rekindled , 1992, CACM.

[3]  Allen,et al.  Optimizing Compilers for Modern Architectures , 2004 .

[4]  Kenneth E. Iverson,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[5]  Wei-Ngan Chin,et al.  Safe fusion of functional expressions II: Further improvements , 1994, Journal of Functional Programming.

[6]  Clemens Grelck,et al.  HPF vs. SAC - A Case Study (Research Note) , 2000, Euro-Par.

[7]  Andrew John Gill,et al.  Cheap deforestation for non-strict functional languages , 1996 .

[8]  Dietmar Kreye,et al.  A compiler backend for generic programming with arrays , 2004 .

[9]  Lawrence Snyder,et al.  The implementation and evaluation of fusion and contraction in array languages , 1998, PLDI '98.

[10]  Wolfgang Karl,et al.  Euro-Par 2000 Parallel Processing , 2000, Lecture Notes in Computer Science.

[11]  Manuel M. T. Chakravarty,et al.  Functional array fusion , 2001, ICFP '01.

[12]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[13]  John H. G. van Groningen.  The Implementation and Efficiency of Arrays in Clean 1.1 , 1996, Implementation of Functional Languages.

[14]  Gaétan Hains,et al.  Arrays, Functional Languages, and Parallel Systems , 1991, Springer US.

[15]  L. Mullin.  A mathematics of arrays , 1988 .

[16]  Manuel M. T. Chakravarty,et al.  An Approach to Fast Arrays in Haskell , 2002, Advanced Functional Programming.

[17]  Roger K. W. Hui.  Rank and uniformity , 1995 .

[18]  Philip Wadler.  XQuery: A Typed Functional Language for Querying XML , 2002, Advanced Functional Programming.

[19]  Werner Kluge,et al.  Implementation of Functional Languages , 1996, Lecture Notes in Computer Science.

[20]  Alexander V. Shafarenko,et al.  Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences , 2005, IFL.

[21]  M. A. Jenkins,et al.  A Comparison of Array Theory and a Mathematics of Arrays , 1991 .

[22]  R. Bernecky.  An introduction to function rank , 1987 .

[23]  J. Philip Benkard.  Nested arrays and operators: some issues in depth , 1992, APL '92.

[24]  Wei-Ngan Chin.  Towards an automated tupling strategy , 1993, PEPM '93.

[25]  David C. Cann,et al.  Compilation techniques for high-performance applicative computation , 1989 .

[26]  Clemens Grelck,et al.  Axis Control in SAC , 2002, IFL.

[27]  Clemens Grelck,et al.  With-Loop Scalarization - Merging Nested Array Operations , 2003, IFL.

[28]  Sven-Bodo Scholz,et al.  WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations , 1997, Implementation of Functional Languages.

[29]  Clemens Grelck,et al.  On Code Generation for Multi-generator WITH-Loops in SAC , 1999, IFL.

[30]  Barbara M. Chapman,et al.  Supercompilers for parallel and vector computers , 1990, ACM Press frontier series.

[31]  Michael Wolfe,et al.  High performance compilers for parallel computing , 1995 .

[32]  James A. Brown.  Inside the APL2 workspace , 1985, APL '85.

[33]  Janice I. Glasgow,et al.  A Logical Basis for Nested Array Data Structures , 1989, Comput. Lang..

[34]  J. Phillip Benkhard.  Extending structure, type, and expression in APL2 , 1991, APL '91.

[35]  Olaf Chitil,et al.  Typer inference builds a short cut to deforestation , 1999, ICFP '99.

[36]  Peter Falster,et al.  Array Theory and Nial , 1999 .

[37]  Sven-Bodo Scholz,et al.  Single Assignment C: efficient support for high-level array operations in a functional setting , 2003, Journal of Functional Programming.

[38]  Akihiko Takano,et al.  Tupling calculation eliminates multiple data traversals , 1997, ICFP '97.