1986 · 10 citations · 9 references
Software MaintenanceEngineeringSoftware EngineeringSource Code AnalysisSoftware AnalysisData ScienceManagementData IntegrationParallel ComputingAdded ValueStream ProcessingData FlowRuntime VerificationComputer EngineeringComputer ScienceImbedded ApplicationsStatic Program AnalysisSoftware DesignInformation FlowData Flow AnalysisProgram AnalysisCode ProfileSoftware TestingParallel ProgrammingSystem SoftwareData Modeling
We describe, and give experience with, a new method of intraprocedural data flow analysis on reducible flow-graphs[9]. The method is advantageous in imbedded applications where the added value of improved performance justifies substantial optimization effort, but extremely powerful data flow analysis is required due to the code profile.
9
Depth-first search and linear graph algorithms
Robert E. Tarjan · 1971 · 637 citations
Charles M. Geschke, James H. Morris, Edwin H. Satterthwaite · Communications of the ACM · 1977 · 162 citations · Full text