Loop elimination and loop reduction A model-theoretic analysis of programs | IEEE Conference Publication | IEEE Xplore