Skip to main content
SpringerLink
Log in

The method of attributes for data flow analysis

Part II. Demand analysis

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

The importance of producing data flow information on demand is discussed. The method of attributes is applied to the demand analysis of live variables.

Part I of this paper described the method of attributes, which is a technique for high level data flow analysis. In that paper, the method was applied to two well-known problems: analysis of dead variables and analysis of available expressions. Both of these analyses are called exhaustive because they uncover information for all program points.

In this part, we apply the method of attributes to a problem in demand data flow analysis.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allen, F.: Program optimization. Ann. Rev. Automatic Programming 2, 239–307 (1969)

    Google Scholar 

  2. Babich, W.A.: High level data flow analysis using a parse tree representation of the program. Ph.D. dissertation, Department of Computer Science, University of North Carolina, Chapel Hill, N.C., TR-77-008, 1977

    Google Scholar 

  3. Crawford, J., Jazayeri, M.: An algorithm for hoisting. Proc. 15th Annual Southeast Regional ACM Conference, Biloxi, pp. 80–93, 1977

  4. Denning, P.: Resource allocation in multiprocess computer systems. Ph.D. dissertation, M.I.T., Project MAC Technical Report MAC-TR-50, 1968

  5. Graham, S., Wegman, M.: A fast and usually linear algorithm for global flow analysis. J. Assoc. Comput. Mach. 23, 172–202 (1976)

    Google Scholar 

  6. Hecht, M., Ullman, J.: A simple algorithm for global data flow analysis problems. SIAM J. Comput. 4, 519–532 (1975)

    Google Scholar 

  7. Kibler, D.F., Neighbors, J.M., Standish, T.A.: Program manipulation via an efficient production system. Proc. Symposium on Artificial Intelligence and Programming Languages, Rochester, 1977

  8. Lowry, E.S., Medlock, C.W.: Object code optimization. Comm. ACM 12, 13–22 (1969)

    Google Scholar 

  9. Rosen, B.K.: High-level data flow analysis. Comm. ACM 20, 712–724 (1977)

    Google Scholar 

Download references

Author information

Author notes

  1. Wayne A. Babich

    Present address: Softech, 460 Totten Pond Road, MA02154, Waltham, USA

Authors and Affiliations

  1. Department of Computer Science, University of North Carolina at Chapel Hill, 27514, Chapel Hill, NC, USA

    Wayne A. Babich & Mehdi Jazayeri

Authors
  1. Wayne A. Babich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehdi Jazayeri
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Babich, W.A., Jazayeri, M. The method of attributes for data flow analysis. Acta Informatica 10, 265–272 (1978). https://doi.org/10.1007/BF00264320

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00264320

Keywords

Search

Navigation