编程中的逻辑论文

论文摘要随着软件规模的越来越大，软件的安全越来越引起软件开发人员的关注，而现有的编程语言以及软件开发方法所能提供的安全保证是脆弱和不可靠的，例如通过标准的软件工程方法和大量的测...