Article

Free access

FAST: A second generation program analysis system

Authors:

J. C. Browne,

David B. JohnsonAuthors Info & Claims

ICSE '78: Proceedings of the 3rd international conference on Software engineering

Pages 142 - 148

Published: 10 May 1978 Publication History

PDF eReader

Abstract

FAST (Fortran Analysis System) implements a powerful set of analysis capabilities on Fortran source language programs. Its implementation was accomplished through the integration of existing software systems and by the use of modern language system development tools. The result is an order of magnitude reduction in effort of implementation coupled with a sizable increase in system capabilities. The use of a general purpose, commercially available data management system as a data handler and data correlator was a dominant factor in both reduction in effort of implementation and generation of additional power and flexibility in the analysis capabilities offered by FAST. FAST implements a capability for systematically qualified program analyses which is unique among existing program analyzers. This capability should be particularly useful in the program maintenance environment.

References

[1]

SYSTEM 2000 Reference Manual. MRI Systems Corporation, Austin, Texas, 1973.

Google Scholar

[2]

Burger, W. F. "BOBSW—A Parser Generator" Department of Computer Science, Software Engineering and Systems Laboratory, The University of Texas at Austin, SESLTR-7, 1974.

Google Scholar

[3]

McKeeman, W. M., et al. "A Compiler Generator" (Prentice-Hall, Englewood Cliffs, 1970).

Google Scholar

[4]

Haller, A. P., Lasseter, G., Meeker, R. E., Turner, J. "Final Report—FORTRAN Automatic Code Evaluation System" Internal Report, Information Research Associates, Austin, Texas, 1973.

Google Scholar

[5]

Haller, A. P. "Automatic Program Analysis" Department of Computer Science, The University of Texas at Austin, TR 38, 1974.

Digital Library

Google Scholar

[6]

Ramamoorthy, C. V. and Ho, S. F. "Testing Large Software with Automated Software Evaluation Systems" Proceedings of International Conference on Reliable Software, ACM/SIGPLAN Notices 10, 382, 1975, and IEEE TSEl, 46-58, 1975.

Digital Library

Google Scholar

[7]

Osterweil, L. J., Fosdick, L. D. "DAVE — A Validation, Error Detection and Documentation System for FORTRAN Programs" Department of Computer Science, University of Colorado, TR #CU-CS-071-75, 1975.

Google Scholar

[8]

Osterweil, L. J. and Fosdick, L. D. "Some Experiences with DAVE — A FORTRAN Program Analyzer" AFIPS 1976, 909-915.

Google Scholar

[9]

Fosdick, L. D. and Osterweil, L. J. "Data Flow Analysis in Software Reliability" Department of Computer Science, University of Colorado, TR #CU-CS-087-76 (Revised), 1976.

Google Scholar

[10]

Johnson, D. B. "Program Analysis with the Aid of a Data Management System" M.A. Thesis, Department of Computer Science, The University of Texas at Austin, August, 1977.

Google Scholar

Cited By

View all

Chua CPurao SStorey V(2006)Developing maintainable softwareDecision Support Systems10.1016/j.dss.2005.04.00242:1(469-491)Online publication date: 1-Oct-2006
https://dl.acm.org/doi/10.1016/j.dss.2005.04.002
Lejter MMeyers SReiss S(1992)Support for Maintaining Object-Oriented ProgramsIEEE Transactions on Software Engineering10.1109/32.18475918:12(1045-1052)Online publication date: 1-Dec-1992
https://dl.acm.org/doi/10.1109/32.184759
Paul SPrakash ABuss EHenshaw J(1991)Theories and techniques of program understandingProceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research10.5555/962111.962115(37-53)Online publication date: 28-Oct-1991
https://dl.acm.org/doi/10.5555/962111.962115
Show More Cited By

Index Terms

FAST: A second generation program analysis system

Recommendations

Fast floating-point processing in Common Lisp

Lisp, one of the oldest higher-level programming languages, has rarely been used for fast numerical (floating-point) computation. We explore the benefits of Common Lisp, an emerging new language standard with some excellent implementations, for ...
A fast abstract syntax tree interpreter for R
VEE '14: Proceedings of the 10th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Dynamic languages have been gaining popularity to the point that their performance is starting to matter. The effort required to develop a production-quality, high-performance runtime is, however, staggering and the expertise required to do so is often ...
A fast abstract syntax tree interpreter for R
VEE '14

Dynamic languages have been gaining popularity to the point that their performance is starting to matter. The effort required to develop a production-quality, high-performance runtime is, however, staggering and the expertise required to do so is often ...

Comments

Information & Contributors

Information

Published In

ICSE '78: Proceedings of the 3rd international conference on Software engineering

May 1978

348 pages

Publisher

IEEE Press

Publication History

Published: 10 May 1978

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
263
Total Downloads

Downloads (Last 12 months)35
Downloads (Last 6 weeks)4

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chua CPurao SStorey V(2006)Developing maintainable softwareDecision Support Systems10.1016/j.dss.2005.04.00242:1(469-491)Online publication date: 1-Oct-2006
https://dl.acm.org/doi/10.1016/j.dss.2005.04.002
Lejter MMeyers SReiss S(1992)Support for Maintaining Object-Oriented ProgramsIEEE Transactions on Software Engineering10.1109/32.18475918:12(1045-1052)Online publication date: 1-Dec-1992
https://dl.acm.org/doi/10.1109/32.184759
Paul SPrakash ABuss EHenshaw J(1991)Theories and techniques of program understandingProceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research10.5555/962111.962115(37-53)Online publication date: 28-Oct-1991
https://dl.acm.org/doi/10.5555/962111.962115
Weiser MJeffrey SStucki L(1981)Program slicingProceedings of the 5th international conference on Software engineering10.5555/800078.802557(439-449)Online publication date: 9-Mar-1981
https://dl.acm.org/doi/10.5555/800078.802557

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Fast floating-point processing in Common Lisp

A fast abstract syntax tree interpreter for R

A fast abstract syntax tree interpreter for R