Parametric Fortran: Program generation in scientific computing

Journal of Software Maintenance and Evolution

Volumn 19, Issue 3, 2007, Pages 155-182

  Erwig, Martin ^a   Fu, Zhe ^b   Pflaum, Ben ^a  

^a 1148 Kelley Engineering Center Corvallis   (United States)

^b MICROSOFT   (United States)

Author keywords

Automatic differentiation; Fortran; Generic programming; Haskell; Ocean modeling; Program generation; Scientific computing; Software maintenance

Indexed keywords

COMPUTER SIMULATION; NATURAL SCIENCES COMPUTING; PARAMETERIZATION; PROJECT MANAGEMENT;

AUTOMATIC DIFFERENTIATION; GENERIC PROGRAMMING; HASKELL; OCEAN MODELING; PROGRAM GENERATION;

FORTRAN (PROGRAMMING LANGUAGE);

EID: 34250763214     PISSN: 1532060X     EISSN: 15320618     Source Type: Journal    
DOI: 10.1002/smr.346     Document Type: Article

References (32)

1. Chua B, Bennett AF. An inverse ocean modeling system. Ocean Modelling 2001; 3:137-165.
2. IOM. Inverse Ocean Modeling system, http://iom.asu.edu/ [29 January 2007].
3. Michalakes J, Chen S, Dudhia J, Hart L, Klemp J, Middlecoff J, Skamarock W. Development of a next generation regional weather research and forecast model. Developments in Teracomputing: Proceedings of the 9th ECMWF Workshop on the Use of High Performance Computing in Meteorology. World Scientific: Hackensack NJ, 2001; 269-276.
4. Ferraro R, Sato T, Brasseur G, DeLuca C, Guilyardi E. Modeling the earth system. Proceedings International Symposium on Geoscience and Remote Sensing. IEEE Computer Society Press: Los Alamitos CA, 2003; 630-633.
5. Dickenson RE et al. How can we advance our weather and climate models as a community? Bulletin of the American Meteorological Society 2002; 83(3):431-434.
6. Jones SLP. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press: Cambridge, 2003; 270 pp.
7. Erwig M, Fu Z, Pflaum B. Generic Programming in Fortran. Proceedings of ACM SIGPLA.N Workshop on Partial Evaluation and Program Manipulation. ACM Press: New York NY, 2006; 130-139.
8. Erwig M, Fu Z. Parametric Fortran - a program generator for customized generic Fortran extensions. Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science, vol. 3057). Springer: Berlin, 2004; 209-223.
9. Lämmel R, Jones SP. Scrap Your Boilerplate: A practical design pattern for generic programming. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation. ACM Press: New York NY, 2003; 26-37.
10. Fowler M, Beck K, Brant J, Opdyke W, Roberts D. Refactoring: Improving the Design of Existing Code. Addison-Wesley: Reading MA, 2000; 464 pp.
11. Castleman KR. Digital Image Processing. Prentice-Hall: Englewood Cliffs NJ, 1996; 667 pp.
12. Corliss G, Faure C, Griewank A, Hascoet L, Naumann U (eds.). Automatic differentiation of algorithms: From simulation to optimization. Computer and Information Science: Selected Papers from the AD2000 Conference, Nice, France, June 2000. Springer: Berlin, 2001.
13. Giering R, Kaminski T. Recipes for adjoint code construction. ACM Transactions on Mathematical Software 1998; 24(4):437-474.
14. Clarke FH. Optimization and Nonsmooth Analysis. Wiley-Interscience: New York NY, 1983; 320 pp.
15. Pacanowski RC, Griffies SM. NOAA/GFDL, 2000. http://www.gfdl.noaa.gov/ ~smg/MOM/web/guide.parent/guide.parent.html [8 February 2007].
16. Durran DR. Numerical Methods for Wave Equations in Geophysical Fluid Dynamics. Springer: Berlin, 1999; 482 pp.
17. Zel'Dovich YB. Gravitational instability: An approximate theory for large density perturbations. Astronomy and Astrophysics 1970; 5:84-89.
18. Kardar M, Parisi G, Zhang YC. Dynamical scaling of growing interfaces. Physical Review Letters 1986; 56:889-892.
19. Iverson KE. Introduction toAPL. APL Press, 1984; 110 pp.
20. Iverson KE. J Introduction and Dictionary. Iverson Software Inc.: Toronto ON, 1995; 411 pp.
21. Sheard T. Accomplishments and research challenges in meta-programming. Proceedings of the 2nd International Workshop on Semantics, Applications, Implementation of Program Generation (Lecture Notes in Computer Science, vol. 2196). Springer: Berlin, 2001; 2-44.
22. Simulog. FORESYS, FORtran Engineering SYStem, Reference Manual vl.5, Simulog, SA: Guyancourt, France, 1996; 80 pp.
23. Bodin F, Beckman P, Gannon D, Gotwals J, Srinivas S, Srinivas N, Winnicka B. Sage++: A class library for building Fortran 90 and C++ restructuring tools. Proceedings of OON-SKI'94: 2nd Object-Oriented Numerics Conference. Computer Science Department, Indiana University: Bloomington IN, 1994; 122-138.
24. Gomez C, Capolsini P. Macroc and Macrofort, C and Fortran code generation within Maple. Maple Technical Newsletter 1996; 3(1):14-19.
25. Erwig M, Fu Z. Software reuse for scientific computing through program generation. ACM Transactions on Software Engineering and Methodology 2005; 14(2): 168-198.
26. Rosing M, Yabusaki S. A programmable preprocessor for parallelizing Fortran-90. Proceedings of the ACM/IEEE Conference on Supercomputing. ACM Press: New York NY, 1999; 3.
27. Balazinska M, Merlo E, Dagenais M, Lague B, Kontogiannis K. Partial redesign of Java software systems based on clone analysis. Proceedings 6th Working Conference on Reverse Engineering. IEEE Computer Society Press: Los Alamitos CA, 1999; 326-336.
28. Toomim M, Begel A, Graham SL. Managing duplicated code with linked editing. Proceedings IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE Computer Society Press: Los Alamitos CA, 2004; 173-180.
29. Giering R, Kaminski T. Using TAMC to generate efficient adjoint code: Comparison of automatically generated code for evaluation of first and second order derivatives to hand written code from the Minpack-2 collection. Automatic Differentiation for Adjoint Code Generation, Faure C (ed.). INRIA: Sophia Antipolis, France, 1998; 31-37.
30. Chapin LM, Hoefkens J, Berz M. The cosy language independent architecture: Porting cosy source files. Proceedings of the 7th International Conference on Computational Accelerator Physics (Institute of Physics Conference Series, vol. 175). IOP Publishing: Bristol, 2002; 37-45.
31. Hascoet L, Greborio R-M, Pascual V. Computing adjoints by automatic differentiation with TAPENADE. Proceedings of HGP05, Sportisse B, LeDimet FX (eds). INRIA: Sophia Antipolis, France, 2005. Available at: http://www-sop.inria.fr/tropics/Laurent.Hascoet/papers/HGP05.pdf [2 February 2007].
32. National Center for Atmospheric Research. The Data Assimilation Research Testbed - DART. http://www.image.ucar.edu/DAReS/DART/ [29 January 2007].