Publication | Closed Access
A flexible approach to interprocedural data flow analysis and programs with recursive data structures
211
Citations
11
References
1982
Year
Unknown Venue
EngineeringSubject Programming LanguageSoftware EngineeringRetrieval FunctionFlexible ApproachSoftware AnalysisFormal VerificationProcedural ProgramsData ScienceProgram TransformationAlgorithmsFormal SpecificationData FlowComputer ScienceStatic Program AnalysisSoftware DesignProgramming Language DesignDeclarative ProgrammingProgram AnalysisAutomated ReasoningSoftware TestingFormal MethodsProgram SynthesisProgramming MethodologySystem SoftwareRecursive Data StructuresData Modeling
A new approach to data flow analysis of procedural programs and programs with recursive data structures is described. The method depends on simulation of the interpreter for the subject programming language using a retrieval function to approximate a program's data structures.
| Year | Citations | |
|---|---|---|
Page 1
Page 1