Specifying a prototyping language in the Cornell synthesizer and the Xinotech program composer | IEEE Conference Publication | IEEE Xplore