类型检查相关论文
自从2014年发布的PEP484对Python标注进行标准化之后，Python社区对Python进行类型标注的工作越来越多，包括PEP526对变量的标注、PEP5......
认证编译器是实现三层体系结构中基于逻辑证明的低级代码安全策略的基石.该文设计和实现的认证编译器是安全策略体系中代码发送方......
毋庸置疑,形式化方法对大型软件系统的可靠性扮演着重要的角色,然而传统的形式化方法局限于严格的证明、对程序员要求较高的教育背......
动态类型语言已经被广泛地应用于实践应用之中。Python是一种典型的动态类型语言，具有语法简单，开发迅速，使用灵活的优势。但是由于Py......
应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源.如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,......
数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了......
静态类型化XML处理语言为处理XML数据提供了新的途径，但现有的此类语言大多数效率较低．研究此类语言的一个重要问题——子类型关系的......
提出了一种检查代码安全的类型安全策略,详细描述了该策略的逻辑表示、形式化描述和基于该策略的证明方法,最后给出一个基于该策略......
提出了一种基于分层思想的,并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法,从而降低......
本期技术专题主题一确定,编辑部内部就爆发了一场争论。什么是动态语言?动态语言有什么优势?动态语言未来会怎样?这些看上去简单的......
随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有......
XML验证,特别是局部验证,是XML应用中的一个关键问题. 调研分析了Xerces-J2工具包中的基于XML Schema的XML解析、验证体系,它是一......
根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非......
传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景，使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL（Struct......
以上下文无关语言上的递归函数为基础的语言LFC(languageforcontextfreerecursivefunction)是一种形式规约语言,适于处理短语结构.......
本文讨论了一种带约束的多态类型系统，引入了约束类型．约束与全称量化的结合使得参数化多态函数的应用更安全，同时也为重载的表示和实......
