| 1. | In other words , the programmer does not stand to benefit from breaking the formal analysis
换句话说，程序设计者绝不会因破坏形式分析而获得好处。 |
| 2. | Programmers can easily program in practice when using the sins digital algorithms . 2
程序设计者可按照论文中的捷联惯导迭代算法编制出实用的程序。 |
| 3. | For another , java provides abundant class libraries , such as java sound api , which make programmers construct their systems conveniently
其次, java还提供了丰富的类库,如javasoundapi ,使程序设计者可以很方便地建立自己的系统。 |
| 4. | However , these methods must be adapted to the new scenario where the programmer ( i . e . , the virus writer ) and the analyser have conflicting goals
不过，必须从程序设计者（即病毒作者）和分析器的目标是对立的这一点出发，将这些方法改编成新的方案。 |
| 5. | The fundamental basis of our o ervation is that : the formal methods designed for optimizing compilers a ume that the compiler and the programmer are allies
我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。 |
| 6. | The fundamental basis of our observation is that : the formal methods designed for optimizing compilers assume that the compiler and the programmer are allies
我们观察问题的基本角度是：为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。 |
| 7. | On the contrary , the compiler writer can assume that a knowledgeable programmer may be willing to reorganize a program to get optimal results from the compiler
相反地，编译器作者可以假定一个在行的程序设计者愿意编译器重新组织他的程序以得到最优化结果。 |
| 8. | Also , it would not be inaccurate to say that the virus writers , or say , the virus - engine writers are not just good programmer they have a very good understanding of computer science
而且，认为病毒作者或者说病毒引擎作者不是真正的好程序设计者这种说法也是不正确的；他们有非常好的计算机科学知识。 |
| 9. | Also , it would not be inaccurate to say that the virus writers , or say , the virus - engine writers are not just good programmers ; they have a very good understanding of computer science
而且，认为病毒作者或者说病毒引擎作者不是真正的好程序设计者这种说法也是不正确的；他们有非常好的计算机科学知识。 |
| 10. | The author of the gnu mailing list manager mailman , john viega , revealed that for three years mailman had a handful of glaring security code problems , yet no one caught or reported the errors
Gnu邮件列表管理程序mailman的程序设计者john viega透露，三年来， mailman一直有几个明显的安全性代码问题，但是至今没人捕捉或报告这些错误。 |
