Modeling data flow and control flow for high level memory management | IEEE Conference Publication | IEEE Xplore