自动程序综合造句

例句与造句

1. 之所以能这样快地步步高升，关键就在于弗洛伊德通过勤奋学习和深入研究，在计算机科学的诸多领域：算法，程序设计语言的逻辑和语义，自动程序综合，自动程序验证，编译器的理论和实现等方面都作出创造性的贡献。
2. 用自动程序综合造句挺难的，这是一个万能造句的方法