article

Free access

The production of better mathematical software

Author:

Lloyd D. FosdickAuthors Info & Claims

Communications of the ACM, Volume 15, Issue 7

Pages 611 - 617

https://doi.org/10.1145/361454.361490

Published: 01 July 1972 Publication History

PDF eReader

Abstract

Some observations are made on steps to be taken toward the creation of better mathematical software. These steps suggest the need for a coordinated effort and the creation of a center to focus activities in this area.

References

[1]

Howarth, R.J., and Lira, A.L. An approach to program documentation. Comp. Bull. 13 (Aug. 1969), 291-295.

Google Scholar

[2]

Walsh, D. A Guide for Software Documentation. Advanced Computer Techniques Corp., 1969.

Google Scholar

[3]

Grad, J., and Brebner, M.A. Algorithm 343, Eigenvalues and eigenvectors of a real general matrix. Comm. ACM 11, 12 (Dec. 1968), 820-826.

Digital Library

Google Scholar

[4]

Hill, G.W. Algorithm 395, Student's t-distribution. Comm. ACM13, 10 (Oct. 1970), 617-619.

Digital Library

Google Scholar

[5]

NATS Project. SIGNUM Newsletter 6, 3 (1971), 5.

Google Scholar

[6]

Knuth, D. Computer-drawn flowcharts. Comm. ACM 6, 9 (Sept. 1963), 555-563.

Digital Library

Google Scholar

[7]

Sherman, P.M. Flowtrace, a computer program for flowcharting programs. Comm. ACM 9, 12 (Dec. 1966), 845-854.

Digital Library

Google Scholar

[8]

Obrien, F., and Beckwith, R.C. A technique for computer flow chart generation. Comp. J. 11 (1968), 138-140.

Crossref

Google Scholar

[9]

Autoflow. Marketed by Applied Data Research, Princeton, N.J.

Google Scholar

[10]

Steel, T.B., Jr. Standards for computers and information processing. In Advances in Computers, M. Rubinoff and F. Alt (Eds.), Vol. 8, Academic Press, New York, pp. 47-152.

Google Scholar

[11]

Brooks, Jack. Letter to Charles L. Schultze, Director, Bureau of the Budget. Comm. ACM 11, 1 (Jan. 1968), 55-56.

Google Scholar

[12]

Sadowski, W.L., Maximon, L., and Lozier, D.W. A bit comparison program for algorithm testing. Presented at Approximators Workshop, Argonne National Lab., Apr. 1971.

Google Scholar

[13]

Abramowitz, M., and Stegun, I. Handbook of Mathematical Functions. AMS 55, National Bureau of Standards, Washington, D.C.

Google Scholar

[14]

McCarthy, J. A basis for a mathematical theory of computation. In Computer Programming and Formal Systems, North- Holland Pub. Co., Amsterdam, 1963, pp. 33-70.

Google Scholar

[15]

McCarthy, J., and Painter, J. Correctness of a compiler for arithmetic expressions. In Proceedings of Symposia in Applied Mathematics, J. T. Schwartz (Ed.), Vol. 19, 1966, pp. 33--41.

Google Scholar

[16]

Floyd, R.W. Assigning meanings to programs. In Proceedings of Symposia in Applied Mathematics, J. T. Schwartz (Ed.), Vol. 19, 1966, pp. 19-32.

Google Scholar

[17]

Hoare, C.A.R. An axiomatic basis for computer programming. Comm. ACM 12, 10 (Oct. 1969), 576-580; 583.

Digital Library

Google Scholar

[18]

Dijkstra, E.W. A constructive approach to the problem of program correctness. BIT 8 (1968), 174-186.

Digital Library

Google Scholar

[19]

Naur, P. Proof of algorithms by general snapshots. BIT 6 (1966), 310-316.

Digital Library

Google Scholar

[20]

Naur, P. Programming by action clusters. BIT 9 (1969), 250-258.

Crossref

Google Scholar

[21]

London, Ralph L. Bibliography on proving the correctness of computer programs. In Machine Intelligence 5, 1970, pp. 569-580.

Google Scholar

[22]

London, Ralph L. Bibliography on proving the correctness of computer programs--addition no. 1. U. Wisconsin, Computer Science Dept., Report No. 104 (Dec. 1970), 1-8.

Google Scholar

[23]

Hull, T.J., Enright, W.H., and Sedgwick, A.E. The correctness of numerical algorithms, SIGPLAN Notices 7, 1 and SIGACT News 14, (1972), 66-73.

Digital Library

Google Scholar

[24]

Ingalls, D.H.H. FETE, a Fortran execution time estimator. Stanford U., Dept. of Computer Science, Report No. 204 (1971), 1-10.

Digital Library

Google Scholar

[25]

Wegstein, J.H. Announcement of algorithms department. Comm. ACM3, 1 (Jan. 1960), 73.

Google Scholar

[26]

Knuth, D.E. An empirical study of Fortran programs. Software 1 (1971) 105-133.

Google Scholar

[27]

Floyd, R.W. Toward interactive design of correct programs. Stanford U., Dept. of Computer Science, Report No. 235 (1971), 1-12.

Google Scholar

[28]

Wilkes, M.V. The outer and inner syntax of a programming language. Computer J. 11 (1968), 260-263.

Crossref

Google Scholar

[29]

CALGO, Collected algorithms from CACM. ACM, New York.

Google Scholar

[30]

Rice, J.R. The distribution and sources of mathematical software. In Mathematical Software, J. R. Rice (Ed.), Academic Press, New York, 1971, pp. 27-41.

Google Scholar

Cited By

View all

Molchanov I(1990)An approach to organization of application softwareCybernetics10.1007/BF0106822026:1(1-6)Online publication date: Jan-1990
https://doi.org/10.1007/BF01068220
Molchanov I(1983)Some problems of creation of numeric softwareCybernetics10.1007/BF0106916118:6(747-753)Online publication date: 1983
https://doi.org/10.1007/BF01069161
Rice JGear COrtega JParlett BSchultz MShampine LWolfe PTraub J(1979)Numerical computationsACM SIGNUM Newsletter10.1145/1057517.105751814:si-1(1-48)Online publication date: 1-Feb-1979
https://dl.acm.org/doi/10.1145/1057517.1057518
Show More Cited By

Recommendations

Mathematical software: past, present, and future
Computational science, mathematics and software

This paper provides some reflections on the field of mathematical software on the occasion of John Rice's 65th birthday. I describe some of the common themes of research in this field and recall some significant events in its evolution. Finally, I raise ...
The architecture of an intelligent virtual mathematical software repository system
On developing mathematical software
Special issue: International workshop on the technological aspects of mathematics

This paper is primarily a list of things we have found useful in developing mathematical software.

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 15, Issue 7

July 1972

209 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/361454

Editor:
M. Stuart Lynn
Rice Univ., Houston, TX

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1972

Published in CACM Volume 15, Issue 7

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
282
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)2

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Molchanov I(1990)An approach to organization of application softwareCybernetics10.1007/BF0106822026:1(1-6)Online publication date: Jan-1990
https://doi.org/10.1007/BF01068220
Molchanov I(1983)Some problems of creation of numeric softwareCybernetics10.1007/BF0106916118:6(747-753)Online publication date: 1983
https://doi.org/10.1007/BF01069161
Rice JGear COrtega JParlett BSchultz MShampine LWolfe PTraub J(1979)Numerical computationsACM SIGNUM Newsletter10.1145/1057517.105751814:si-1(1-48)Online publication date: 1-Feb-1979
https://dl.acm.org/doi/10.1145/1057517.1057518
Yohe J(1974)An Overview of Programming PracticesACM Computing Surveys10.1145/356635.3566386:4(221-245)Online publication date: 1-Dec-1974
https://dl.acm.org/doi/10.1145/356635.356638
Cody W(1974)The Construction of Numerical Subroutine LibrariesSIAM Review10.1137/101600316:1(36-46)Online publication date: 1-Jan-1974
https://dl.acm.org/doi/10.1137/1016003

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Mathematical software: past, present, and future

The architecture of an intelligent virtual mathematical software repository system

On developing mathematical software

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations