P S*_*ved 17 programming-languages static-analysis
很多语言(可能都是这些语言)旨在使编写程序更容易.它们都有不同的领域,旨在简化这些领域的开发程序(C使开发低级程序更容易,Java使开发复杂的业务逻辑更容易,等等).为了以更容易,更自然,更不容易出错的方式编写和维护程序,可能会牺牲其他目的.
是否有任何专门用于验证源代码的语言 - 即静态分析 - 更容易？当然,为现代机器编写通用程序的能力也应该持续存在.
| 归档时间： |
|
| 查看次数： |
585 次 |
| 最近记录： |