Single-assignment semantics for imperative programs

This publication has 19 references indexed in Scilit:

• Synthesis and equivalence of concurrent systems
  Theoretical Computer Science, 1988
• Advanced compiler optimizations for supercomputers
  Communications of the ACM, 1986
• On synthesizing systolic arrays from Recurrence Equations with Linear Dependencies
  Published by Springer Nature ,1986
• Selecting Systolic Designs Using Linear Transformations Of Space-Time
  Published by SPIE-Intl Soc Optical Eng ,1984
• Spacetime representations of computational structures
  Computing, 1984
• The VAL Language: Description and Analysis
  ACM Transactions on Programming Languages and Systems, 1982
• A Survey of Parallel Machine Organization and Programming
  ACM Computing Surveys, 1977
• The parallel execution of DO loops
  Communications of the ACM, 1974
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967