The Specification Design, and Implementation of an Abstract Processor | IEEE Conference Publication | IEEE Xplore