ACM Transactions on Programming Languages and Systems May 1994: Vol 16, Nr 3 Compile Optimization Language Design, Semantics Parallel Programming