Binary Dynamic Models of Structural Synthesis of Programs | IEEE Conference Publication | IEEE Xplore