Conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 1998, Pages 24-34

  Naumovich, Gleb ^a   Avrunin, George S ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); OPTIMIZATION; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING;

RYDER'S NONCONCURRENCY ANALYSIS;

DATA FLOW ANALYSIS;

EID: 0032218222     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)