Synergies in scientific computing by combining multi-paradigmatic languages for high-performance applications

References

• Abrahams , D. and Gurtovoy , A. 2004 . C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond (C++ in Depth Series) , Boston, MA : Addison-Wesley .
   Google Scholar
• Affeldt , R. , Masuhara , H. , Sumii , E. and Yonezawa , A. 2002 . “ Supporting objects in run-time bytecode specialization ” . 50 – 60 . New York, NY : ACM Press . Proceedings of the Symposium on Partial Evaluation and Semantics-based Program Manipulation
   Google Scholar
• Alexandrescu , A. 2001 . Modern C++ Design: Generic Programming and Design Patterns Applied , Boston, MA : Addison-Wesley .
   Google Scholar
• Andersen , H.M. and Schultz , U.P. 2004 . “ Declarative specialization for object-oriented-program specialization ” . 27 – 38 . New York, NY : ACM Press . Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation
   Google Scholar
• Archer , T. and Whitechapel , A. 2002 . Inside C# , 2nd ed. , Redmond, WA : Microsoft Press .
   Google Scholar
• D.F. Bacon, S.L. Graham, and O.J. Sharp, Compiler transformations for high-performance computing, in Proceedings of the Object-oriented Programming Systems, Languages, and Applications Conference, Vol. 26, 1996, pp. 345–420
   Google Scholar
• Berti , G. 2002 . “ GrAL – The grid algorithms library ” . Vol. 2331 , 745 – 754 . London : Springer . Proceedings of the Computational Science ICCS
   Google Scholar
• Boost: Boost Python (2006), http://www.boost.org/
   Google Scholar
• Bruce , K. , Cardelli , L. , Castagna , G. , Leavens , G.T. and Pierce , B. 1995 . On binary methods . Theor. Pract. Object Syst. , 1 ( 3 ) : 221 – 242 .
   Google Scholar
• Dekker , A. 2006 . Lazy functional programming in Java . ACM Sigplan Not. , 41 ( 3 ) : 30 – 39 .
   Google Scholar
• A. Fabri, CGAL – The computational geometry algorithm library, in Proceedings of the 10th International Meshing Roundtable, CA, USA, 2001, pp. 137–142
   Google Scholar
• Garcia , R. , Järvi , J. , Lumsdaine , A. , Siek , J. and Willcock , J. 2007 . An extended comparative study of language support for generic programming . J. Funct. Program. , 17 ( 2 ) : 145 – 205 .
   Google Scholar
• Gay , D. and Steensgaard , B. 2000 . “ Fast escape analysis and stack allocation for object-based programs ” . 82 – 93 . London : Springer . CC '00: Proceedings of the 9th Conference on Compiler Construction
   Google Scholar
• T. Geraud and A. Duret-Lutz, Generic programming redesign pattern, in Proceedings of the 5th Conference on Pattern Languages of Programs (EuroPLoP 2000), Irsee, Germany, 2000
   Google Scholar
• Gosling , J. , Joy , B. , Steele , G. and Bracha , G. 2005 . The Java Language Specification , 3rd ed. , Boston, MA : Addison Wesley .
   Google Scholar
• Gregor , D. , Järvi , J. , Kulkarni , M. , Lumsdaine , A. , Musser , D. and Schupp , S. 2005 . Generic programming and high-performance libraries . Intl J. Parallel Prog. , 33 ( 2 ) : 145 – 164 .
   Google Scholar
• R. Heinzl and P. Schwaha, GSSE (2007), http://www.gsse.at/
   Google Scholar
• Heinzl , R. , Schwaha , P. and Selberherr , S. 2007 . “ A high performance generic scientific simulation environment ” . In Lecture Notes in Computer Science , Edited by: Kaagström , B. , Elmroth , E. , Dongarra , J. and Wasniewski , J. Vol. 4699 , 781 – 790 . Berlin : Springer .
   Google Scholar
• R. Heinzl, P. Schwaha, F. Stimpfl, and S. Selberherr, A parallel generic scientific simulation environment, in Proceedings of the PARA Conference, Trondheim, Norway, May, 2008
   Google Scholar
• R. Heinzl, P. Schwaha, F. Stimpfl, and S. Selberherr, Parallel library-centric application design by a generic scientific simulation environment, in Proceedings of the POOSC Conference, Paphos, Cyprus, July, 2008
   Google Scholar
• Heroux , M.A. , Bartlett , R.A. , Howle , V.E. , Hoekstra , R.J. , Hu , J.J. , Kolda , T.G. , Lehoucq , R.B. , Long , K.R. , Pawlowski , R.P. Phipps , E.T. 2005 . An overview of the Trilinos project . ACM Trans. Math. Software , 31 ( 3 ) : 397 – 423 .
   Web of Science ®Google Scholar
• Järvi , J. , Gregor , D. , Willcock , J. , Lumsdaine , A. and Siek , J.G. 2006 . “ Algorithm specialization in generic programming – Challenges of constrained generics in C++ ” . 272 – 282 . New York, NY : ACM Press . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation
   Google Scholar
• Järvi , J. , Willcock , J. and Lumsdaine , A. 2003 . “ Concept-controlled polymorphism ” . 228 – 244 . New York, NY : Springer . GPCE '03: Proceedings of the 2nd Conference on Generative Programming and Component Engineering
   Google Scholar
• Kazi , I. , Chen , H. , Stanley , B. and Lilja , D. 2000 . Techniques for obtaining high performance in Java programs . ACM Comput. Surveys , 32 ( 3 ) : 213 – 240 .
   Google Scholar
• H.P. Langtangen and X. Cai, Mixed language programming for HPC applications, in Proceedings of the PARA Conference, Umea, Sweden, June, 2006, p. 154
   Google Scholar
• Musser , D.R. and Stepanov , A.A. 1988 . “ Generic programming ” . 13 – 25 . London : Springer . Proceedings of the ISSAC'88 on Symbolic and Algebraic Computation
   Google Scholar
• Naftalin , M. and Wadler , P. 2006 . Java Generics and Collections , Sebastopol, CA : O'Reilly & Associates .
   Google Scholar
• Prechelt , L. 2000 . An empirical comparison of seven programming languages . Computer , 33 ( 10 ) : 23 – 29 .
   Google Scholar
• A. Priesnitz, Multistage algorithms in C++, Dissertation, Universität Göttingen, 2005
   Google Scholar
• Python Software Foundation, Python programming language. Available at http://www.python.org/
   Google Scholar
• Rickett , C. , Choi , S. , Rasmussen , C. and Sottile , M. 2006 . Rapid prototyping frameworks for developing scientific applications: A case study . J. Supercomput. , 36 ( 2 ) : 123 – 134 .
   Google Scholar
• Sala , M. , Spotz , W. and Heroux , M. 2008 . PyTrilinos: High-performance distributed-memory solvers for Python . ACM Trans. Math. Software , 34 ( 2 ) : 1 – 33 .
   Google Scholar
• J.G. Siek and A. Lumsdaine, Concept checking: Binding parametric polymorphism in C++, in Proceedings of the First Workshop on C++ Template Programming, Erfurt, Germany, 2000
   Google Scholar
• Siek , J. , Lee , L.Q. and Lumsdaine , A. 2002 . The Boost Graph Library: User Guide and Reference Manual , Boston, MA : Addison-Wesley .
   Google Scholar
• Singler , J. , Sanders , P. and Putze , F. 2007 . “ The multi-core standard template library ” . In Lecture Notes in Computer Science , Vol. 4641 , 682 – 694 . Berlin : Springer .
   Google Scholar
• T.L. Veldhuizen, Expression templates. C++ Report, 7(5) (1995), pp. 26–31, reprinted in C++ Gems, ed. Stanley Lippman
   Google Scholar
• Volanschi , E.N. , Counsel , C. , Muller , G. and Cowan , C. 1997 . “ Declarative specialization of object-oriented programs ” . 286 – 300 . New York, NY : ACM Press . Proceedings of the Object-oriented Programming Systems, Languages, and Applications Conference
   Google Scholar
• Wadler , P. 1995 . Monads for functional programming . LNCS , 925 : 24 – 52 .
   Google Scholar
• Wadler , P. 1997 . How to declare an imperative . ACM Comput. Surveys (CSUR) , 29 ( 3 ) : 240 – 263 .
   Google Scholar
• Wirdemann , R. and Baustert , T. 2006 . Rapid Web Development mit Ruby on Rails , München : Hanser .
   Google Scholar