形式程序验证论文

基于携带证明的代码的垃圾收集过程验证
论文摘要使用Java和C#等安全的程序设计语言编写的程序能够完全避免一些在传统程序设计语言编写的程序中经常出现的安全漏洞,从而提高软件的可靠性。然而,这类安全语言的众多安全特性...