Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables, and Label Variables
Name
MIT-LCS-TR-247.pdf
Size
1.47 MB
Format
Adobe PDF
Checksum (MD5)
2112b75a5d07536a9922f89c0b5f4505
Author(s)
Weihl, William Edward
Advisor(s)
Ward, Stephen A.
Date Issued
October 1980
Series/Report no.
MIT-LCS-TR-247
Abstract
The compilation of highly modular programs requires extensive interprocedural analysis in order to produce reasonable object code. Such analysis is greatly complicated when the source language contains such constructs as procedure variables and label variables.
Persistent DSpace Link