Static Detection of Loop-Invariant Data Structures - Concepedia

Concepedia

Publication | Closed Access

Static Detection of Loop-Invariant Data Structures

11

Citations

0

References

2012

Year

Harry Xu, Tony Q. Yan, Nasko Rountev, Sridharan-PLDI, b Xu-PLDI’

Unknown Venue

Dynamic Data StructureEngineeringProgram AnalysisStatic DetectionVerificationFormal MethodsSoftware AnalysisStatic CheckingComputer ScienceStatic Program AnalysisFormal Verification

No additional data available for this publication yet. Check back later!