Static Semantic Checks of Global Variables in a Procedural Language

  • Bernhard Böhringer
  • Hartmut Feuerhahn
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 53)


A data flow analysis of global variables is described that applies to recursive procedures and is based on value/result specifications of parameters. Undefined or unused values of variables are detected, thereby potential and severe error cases are distinguished. The method is applicable to complete programs, but by means of path expressions is extended to separate modules. It has been implemented for a system implementation language as part of a programming support environment.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cousot, P., Cousot, R.: Static verification of dynamic type properties of variables. Proc. 4th ACM Symposium on Principles of Programming Languages, Sta. Monica, CA, Jan 77Google Scholar
  2. 2.
    Feuerhahn, H., Koster, C.H.A.: Static semantic checks in an open-ended language. In: Constructing Quality Software, North Holland Publ., Amsterdam 78Google Scholar
  3. 3.
    Fosdick, L.D., Osterweil, L.J.: Data flow analysis in software reliability. ACM Computing Surveys 8 /3, Sept. 1976Google Scholar
  4. 4.
    Langmaack, H .: On correct procedure parameter transmission in higher programming languages. Acta Informatica 2, 1973Google Scholar
  5. 5.
    Killdal, G.A.: A unified approach to global program optimization. Proc. ACM Symposium on Principles of Programming Languages, Boston, Oct 73Google Scholar
  6. 6.
    Barth, J.M.: Interprocedural data flow analysis based on transitive closure. Proc. 4th ACM Symposium on Principles of Programming Languages, Sta. Monica, CA, Jan 77Google Scholar
  7. 7.
    Morel, E., Renvoise, C.: A global algorithm for the elimination of partial redundancies. Proc. 2nd International Symposium on Programming, Paris, April 76Google Scholar
  8. 8.
    Allen, F.E.: Interprocedural data flow analysis. Proc. IFIP Congress 74, North Holland Publ., Amsterdam 74Google Scholar
  9. 9.
    Dehottay, J.P., Feuerhahn, H., Koster, C.H.A., Stahl, H.M.: Syntaktische Beschreibung von CDL2. T.U. Berlin, Forschungs- gruppe Softwaretechnik, 76Google Scholar
  10. 10.
    Bayer, M., Bohringer, B., Dehottay, J.P., Feuerhahn, H., Jasper, J., Koster, C.H.A., Schmiedecke, U.: Software development in the CDL2-Laboratory. In: Software Engineering Environments, North Holland Publ., Amsterdam 80Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Bernhard Böhringer
    • 1
  • Hartmut Feuerhahn
    • 1
  1. 1.Epsilon GmbHBerlinGermany

Personalised recommendations