Formal constraints on memory management for composite overloaded operations

Scientific Programming

Volumn 14, Issue 1, 2006, Pages 27-40

  Rouson, Damian W I ^a   Xu, Xiaofeng ^b   Morris, Karla ^c  

^a NAVAL RESEARCH LABORATORY   (United States)

^b UNIVERSITY OF MARYLAND   (United States)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DATA ACQUISITION; DATA STORAGE EQUIPMENT; MATHEMATICAL OPERATORS; PROBLEM SOLVING; PROGRAM COMPILERS; SET THEORY;

MEMORY MANAGEMENT; OBJECT CONSTRAINT LANGUAGE (OCL); RUN-TIME ASSERTION; THERMAL ENERGY EQUATION SOLVER;

NATURAL SCIENCES COMPUTING;

EID: 33748499845     PISSN: 10589244     EISSN: None     Source Type: Journal    
DOI: 10.1155/2006/731428     Document Type: Article

References (21)

1. E. Akin, Object-oriented Programming via Fortran 90/95, Cambridge University Press, Great Britain, 2003.
2. J.J. Barton and L.R. Nackman, Scientific and Engineering C++: An Introduction with Advanced Techniques and Examples, Addison-Wesley 1994.
3. P. Bientinesi, J.A. Gunnels, M.E. Myers, E.S. Quintana-Orti and R. A. van de Geijn, The science of deriving dense linear algebra algorithms, ACM Transactions on Mathematical Software 31(1) (2005), 1-26.
4. S.M. de Bruyn Kops and J.J. Riley, Direct numerical simulation of laboratory experiments in isotropic turbulence, Phys Fluids 10(9) (1998), 25-27.
5. L.A. Clarke and D.S. Rosenblum, A historical perspective on runtime checking in software development, ACM SIGSOFT Software Engineering Notes 31(3) (2006), 25-37.
6. V.K. Decyk, C.D. Norton and B.K. Szymanski, How to express C++ concepts in Fortran 90, Scientific Programming 6 (1997), 363-390.
7. V.K. Decyk, C.D. Norton and B.K. Szymanski, How to support inheritance and run-time polymorphism in Fortran 90, Computer Physics Communications 115 (1998), 9-17.
8. R. van Engelen, L. Wolters and G. Cats Tomorrow's weather forecast: Automatic code generation for atmospheric modeling, IEEE Computational Science and Engineering, July-September 1997.
9. L. Hatton, The T Experiments: Errors in Scientific Software, IEEE Computational Science & Engineering 4(2) (1997), 27-38.
10. J3 Fortran Standards Technical Committee, Technical Report ISO/IEC 15581:1998(E) International Organization for Standards/International Electrotechnical Committee, Geneva, Switzerland, 1998.
11. A. Markus, Avoiding memory leaks with derived types, ACM Fortran Forum 22(2) (August 2003).
12. M. Metcalfe, J. Reid and M, Cohen, Fortran 95/2003 Explained, Oxford University Press, Oxford, 2004.
13. J.N. Oliveira, 1997, http://www.di.uminho.pt/~jno/html/cam-wfm.html.
14. D.K. Pace, Modeling and simulation verification challenges, Johns Hopkins APL Technical Digest 25(2) (2004), 163-172.
15. D.W.I. Rouson, K. Morris and X. Xu, Dynamic memory de-allocation in Fortran 95/2003 derived type calculus, Scientific Programming 13(3) (2005).
16. D.W.I. Rouson and Y. Xiong, Design metrics in quantum turbulence simulations: How physics influences software architecture, Scientific Programming 12 (2004), 185-196.
17. D.W.I. Rouson and X. Xu, A grid-free abstraction of the Navier-Stokes equations via data structure wrappers in Fortran 95/2003, submitted to ACM Transactions on Mathematical Software in March 2006.
18. D.E. Stevenson, How goes CSE? Thoughts on the IEEE CS Workshop at Purdue, IEEE Computational Science & Engineering (April-June 1997).
19. G.W. Stewart, Memory leaks in derived types revisited, ACM Fortran Forum 22(3) (December 2003).
20. L.G. Stucki and G.L. Foshee, New assertion concepts for self-metric software validation, Proceedings of the International Conference on Reliable Software, ACM SIGPLAN and SIGMETRICS, Los Angeles, California USA, 1971, 59-71.
21. J. Warmer and A. Kleppe The Object Constraint Language: Getting Your Models Ready for MDA, 2nd ed., Addison-Wesley, New York, NY, USA 2003.