Publication | Closed Access
Program Flow Graph Construction for Static Analysis of MPI Programs
32
Citations
0
References
1999
Year
Hybrid ProgrammingEngineeringData FlowProgram AnalysisSoftware TestingStatic AnalysisFormal MethodsComputer EngineeringSoftware EngineeringStatic Program AnalysisParallel ProgrammingComputer ScienceStatic CheckingOptimizing CompilerSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification
No additional data available for this publication yet. Check back later!