A formalism to automate mapping from program features to code | IEEE Conference Publication | IEEE Xplore