Publication | Closed Access

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Object EscapeEngineeringProgram AnalysisConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer EngineeringSoftware AnalysisPartial-order ReductionsParallel ProgrammingComputer ScienceConcurrent Data StructureConcurrent SystemParallel ComputingConcurrent Object-oriented ProgramsMemory Model (Programming)Formal VerificationSystem Software