Extending reliability: transformational tailoring of abstract mathematical software
Production of software tailored to an individual application is addressed. The use of abstract programs is suggested because such programs capture the essence of a numerical algorithm without cluttering it with irrelevant detail. Various concrete executable programs can then be constructed automatically from an abstract prototype program by applying transformations based on theorems of matrix algebra and on ''algebraic'' properties of programing languages. This method offers the hope of being able to provide a user with highly efficient programs tailored to his environment while maintaining the advantages of high reliability and low cost associated with routines from the best mathematical software libraries. (RWR)
- Research Organization:
- Argonne National Laboratory (ANL), Argonne, IL (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 6461870
- Report Number(s):
- CONF-781052-5
- Country of Publication:
- United States
- Language:
- English
Similar Records
User's guide to the LBL mathematical software core library
SOFTWARE TOOLS; program development interface. [Base version (This version is not tailored to any one machine but serves as a portable base for the user who can add ''primitives'' or modify the base source to tailor SOFTWARE TOOLS to the local computing environment. ); FORTRAN IV and RATFOR]