Programmiersprachen und Programmentwicklung pp 165-176 | Cite as
Static Semantic Checks of Global Variables in a Procedural Language
Conference paper
- 30 Downloads
Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
- 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.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.Fosdick, L.D., Osterweil, L.J.: Data flow analysis in software reliability. ACM Computing Surveys 8 /3, Sept. 1976Google Scholar
- 4.Langmaack, H .: On correct procedure parameter transmission in higher programming languages. Acta Informatica 2, 1973Google Scholar
- 5.Killdal, G.A.: A unified approach to global program optimization. Proc. ACM Symposium on Principles of Programming Languages, Boston, Oct 73Google Scholar
- 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.Morel, E., Renvoise, C.: A global algorithm for the elimination of partial redundancies. Proc. 2nd International Symposium on Programming, Paris, April 76Google Scholar
- 8.Allen, F.E.: Interprocedural data flow analysis. Proc. IFIP Congress 74, North Holland Publ., Amsterdam 74Google Scholar
- 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.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