多项选择题

A.限制技术
B.分支设计
C.局部替换
D.定义法