   program specification, refinement, program optimization, data-structure selection, program analysis, program transformation, program composition  <hr> <address> <a href="http://www.cs.cornell.edu/home/yanhong/">Y. Annie Liu</a> <kbd>yanhong@cs.cornell.edu</kbd>  Last updated 12/14/95 </address> </body>
