Static single assignment form for massage-passing programs

DOI10.1023/A:1007633018973MaRDI QIDQ5943263zbMATH OpenOpenAlexFDO

Authors Dhruva R. Chakrabarti, Prithviraj Banerjee

Publication date 13 September 2001

Published in International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1007633018973

zbMATH Keywords

single program multiple data modelstatic single assignment

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Data structures (68P05)

Recommendations

• Algorithms for computing the static single assignment form
• Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
• Programming Languages and Systems
• Staticization, its dynamic program and solution propagation
• Static single information form for abstract compilation
• Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach

Cited in

(5)

• Partial SSA form: compact representation for programs with indirect memory operations
• Algorithms for computing the static single assignment form
• scientific article; zbMATH DE number 1975598 (Why is no real title available?)
• Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
• Elimination of redundant messages with a two-pass static analysis algorithm

This page was built for publication: Static single assignment form for massage-passing programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5943263)