Publication | Closed Access

Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis

Dynamic Data StructureReachability AnalysisOnline Cycle DetectionEngineeringAlgorithmic LibraryRuntime VerificationProgram AnalysisComputer EngineeringSoftware AnalysisFormal MethodsComputational ComplexityEmpirical AlgorithmicsParallel ProgrammingComputer ScienceParallel ComputingFormal Verification