Analysis-based arguments for abstract data type calculus.
Increasing demands on the complexity of scientific models coupled with increasing demands for their scalability are placing programming models on equal footing with the numerical methods they implement in terms of significance. A recurring theme across several major scientific software development projects involves defining abstract data types (ADTs) that closely mimic mathematical abstractions such as scalar, vector, and tensor fields. In languages that support user-defined operators and/or overloading of intrinsic operators, coupling ADTs with a set of algebraic and/or integro-differential operators results in an ADT calculus. This talk will analyze ADT calculus using three tool sets: object-oriented design metrics, computational complexity theory, and information theory. It will be demonstrated that ADT calculus leads to highly cohesive, loosely coupled abstractions with code-size-invariant data dependencies and minimal information entropy. The talk will also discuss how these results relate to software flexibility and robustness.
- Research Organization:
- Sandia National Laboratories (SNL), Albuquerque, NM, and Livermore, CA (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 969850
- Report Number(s):
- SAND2008-6880C; TRN: US201002%%832
- Resource Relation:
- Conference: Proposed for presentation at the Canadian Mathematical Society Winter 2008 Meeting held December 6-8, 2008 in Ottawa, Canada.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Basic Research Needs in The Science of Scientific Software Development and Use: Investment in Software is Investment in Science
Applied Mathematics at the U.S. Department of Energy: Past, Present and a View to the Future