安全判定规则相关硕士博士期刊学术论文

本文研究了基于契约的安全分析方法。该方法通过对过程内的变量构造变量契约、对跨过程的函数调用构造函数契约描述程序的状态，并按......