DETECTION OF SCANS - REDON, XAVIER; FEAUTRIER, PAUL (Parallel algorithms and applications, 2000)
Keywords: Automatic parallelization; D.2.4 Software/Program Verification (Formal methods); D.3.4 Processors (Optimization); F.2.2 Nonnumencal Algorithms and Problem (Pattern matching); F.3.2 Semantics of Programming Languages (Program analysis); Programs normalization; programs transformations; Reductions; Scans