Zahira Ammarguellat

A Control-Flow Normalization and Its Complexity

Zahira Ammarguellat, Zahira Ammarguellat, 1992 .

A comparison of automatic versus manual parallelization of the Boyer-Moore theorem prover

Williams Ludwell Harrison, Zahira Ammarguellat, 1990 .

A Control-Flow Normalization Algorithm and Its Complexity

Zahira Ammarguellat, Zahira Ammarguellat, 1992, IEEE Trans. Software Eng..

Automatic recognition of induction variables and recurrence relations by abstract interpretation

Williams Ludwell Harrison, Zahira Ammarguellat, W. Harrison, 1990, PLDI '90.

The Design of Automatic Parallelizers for Symbolic and Numeric Programs

Williams Ludwell Harrison, Zahira Ammarguellat, 1989, Workshop on Parallel Lisp.

A Program's Eye View of Miprac

Williams Ludwell Harrison, Zahira Ammarguellat, W. Harrison, 1992, LCPC.

Parcel and Miprac: Parallelizers for Symbolic and Numeric Programs

Zahira Ammarguellat, Williams Ludwell, Harrison Iii, .