A portable abstract machine model for image processing: an implementation technique for software tools | IEEE Conference Publication | IEEE Xplore