Static Semantic Checks of Global Variables in a Procedural Language

Bernhard Böhringer, Hartmut Feuerhahn. Static Semantic Checks of Global Variables in a Procedural Language. In Hans Wössner, editor, Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Volume 53 of Informatik-Fachberichte, pages 165-176, Springer, 1982.