A binding scope analysis for generic programs on arrays

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

Volumn 4015 LNCS, Issue , 2006, Pages 212-230

  Grelck, Clemens ^a   Scholz, Sven Bodo ^b   Shafarenko, Alex ^b  

^a UNIVERSITY OF LÜBECK   (Germany)

^b UNIVERSITY OF HERTFORDSHIRE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PARTIAL EVALUATION; PROGRAMMING STYLES; SHAPE INFORMATION; SOFTWARE ENGINEERING PRINCIPLES; SPECIALISATION; STATIC VALUES;

SOFTWARE ENGINEERING;

STATIC ANALYSIS;

EID: 84888861408     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11964681_13     Document Type: Conference Paper

References (18)

1. A. Alimarine. Generic Functional Programming. PhD thesis, Radboud University of Nijmegen, Netherlands, 2005.
2. A. Alimarine and S. Smetsers. Optimizing Generic Functions. In D. Kozen, editor, The 7th International Conference, Mathematics of Program Construction, Stirling, Scotland, UK, volume 3125 of LNCS, pages 16-31. Springer, 2004.
3. D.C. Cann. Compilation Techniques for High Performance Applicative Computation. Technical Report CS-89-108, Lawrence Livermore National Laboratory, LLNL, Livermore California, 1989.
4. D. Clarke, R. Hinze, J. Jeuring, A. Löh, and J. de Witt. The Generic Haskell User's Guide, 2001.
5. C. Grelck and S.B. Scholz. Accelerating APL Programs with SAC. SIGAPL Quote Quad, 29(2):50-58, 1999
6. C. Grelck and K. Trojahner. Implicit Memory Management for SaC. In C. Grelck and F. Huch, editors, Implementation and Application of Functional Languages, 16th International Workshop, IFL'04, pages 335-348. University of Kiel, 2004.
7. R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the 4th Haskell Workshop, 2000.
8. R. Hui. Rank and Uniformity. APL Quote Quad, 25(4):83-90, 1995.
9. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
10. C.B. Jay, E. Moggi, and G. Bellè. Functors, Types and Shapes. In R. Backhouse and T. Sheard, editors, Workshop on Generic Programming: Marstrand, Sweden, 18th June, 1998, pages 21-4. Chalmers University of Technology, 1998.
11. N.D. Jones. An Introduction to Partial Evaluation. ACM Computing Surveys, 28(3), 1996.
12. C.B. Jay and P.A. Steckler. The Functional Imperative: Shape! In Chris Hankin, editor, Programming languages and systems: 7th European Symposium on Programming, ESOP'98 Held as part of the joint european conferences on theory and practice of software, ETAPS'98 Lisbon, Portugal, March/April 1998, volume 1381 of LNCS, pages 139-53. Springer-Verlag, 1998.
13. D.J. Kreye. A Compiler Backend for Generic Programming with Arrays. PhD thesis, Institut für Informatik und Praktische Mathematik, Universität Kiel, 2003.
14. E.C. Lewis, C. Lin, and L. Snyder. The Implementation and Evaluation of Fusion and Contraction in Array Languages. In Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation. ACM, 1998.
15. B.C. Pierce. Types and Programming Languages. MIT Press, 2002. ISBN 0-262-16209-1.
16. Sven-Bodo Scholz. Single Assignment C - efficient support for high-level array operations in a functional setting. Journal of Functional Programming, 13(6):1005-1059, 2003.
17. T.L. Veldhuizen. Arrays in Blitz++. In Proceedings of the 2nd International Scientific Computing in Object-Oriented Parallel Environments (ISCOPE'98), LNCS. Springer, 1998.
18. T.L. Veldhuizen. C++ Templates as Partial Evaluation. In O. Danvy, editor, Proceedings of PEPM'99, The ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 13-18. University of Aarhus, Dept. of Computer Science, 1999.