An extensible interpreter for experimentation with the semantics of Prograph | IEEE Conference Publication | IEEE Xplore