类型检查相关论文
自从2014年发布的PEP484对Python标注进行标准化之后，Python社区对Python进行类型标注的工作越来越多，包括PEP526对变量的标注、PEP5......
认证编译器是实现三层体系结构中基于逻辑证明的低级代码安全策略的基石.该文设计和实现的认证编译器是安全策略体系中代码发送方......
毋庸置疑,形式化方法对大型软件系统的可靠性扮演着重要的角色,然而传统的形式化方法局限于严格的证明、对程序员要求较高的教育背......
动态类型语言已经被广泛地应用于实践应用之中。Python是一种典型的动态类型语言，具有语法简单，开发迅速，使用灵活的优势。但是由于Py......
