TY - GEN N2 - cse-94-022 DO - 10.6083/hd76s033d DO - DOI AB - cse-94-022 T1 - Induction and synthesis for automatic program transformation DA - 1994 AU - Bellegarde, Francoise L1 - https://digitalcollections.ohsu.edu/record/4016/files/csetech-333.pdf PY - 1994 ID - 4016 L4 - https://digitalcollections.ohsu.edu/record/4016/files/csetech-333.pdf TI - Induction and synthesis for automatic program transformation Y1 - 1994 L2 - https://digitalcollections.ohsu.edu/record/4016/files/csetech-333.pdf LK - https://digitalcollections.ohsu.edu/record/4016/files/csetech-333.pdf UR - https://digitalcollections.ohsu.edu/record/4016/files/csetech-333.pdf ER -