The proposed project would be to (a) get an understanding of the two analyses and the so-called reduced product in abstract interpretation and (b) experiment with two or three different ways to implement the combination, comparing the resulting analyses.
(The proposed project; would be; to (a) get an understanding of the two analyses and the so-called reduced product in abstract interpretation and (b) experiment with two or three different ways) (The proposed project; to get; an understanding of the two analyses and the so-called reduced product in abstract interpretation and (b) experiment with two or three different ways)
The proposed project The proposed project
would be to get
to (a) get an understanding of the two analyses and the so-called reduced product in abstract interpretation and (b) experiment with two or three different ways
an understanding of the two analyses and the so-called reduced product in abstract interpretation and (b) experiment with two or three different ways