Publication | Closed Access
Relative debugging for data-parallel programs: a ZPL case study
14
Citations
9
References
2000
Year
Software MaintenanceEngineeringSoftware EngineeringSource Code AnalysisRelative DebuggingSoftware AnalysisFormal VerificationParallel ToolParallel SoftwareStatic CheckingParallel ComputingComputer EngineeringComputer ScienceDebuggerStatic Program AnalysisSoftware DesignPowerful ParadigmProgram AnalysisSoftware TestingFormal MethodsSequential LanguageParallel ProgrammingSymbolic ExecutionSystem Software
Relative debugging is a powerful paradigm that lets us locate errors in programs that result from porting or rewriting code. The authors describe their experience using relative debugging to compare a program written in a sequential language with one that was ported to the data-parallel language ZPL.
| Year | Citations | |
|---|---|---|
Page 1
Page 1