数据库 面向对象技术 程序自动生成 垃圾收集器 程序变换 程序生成器 自动编程 程序设计