类型推导相关论文
自从2014年发布的PEP484对Python标注进行标准化之后，Python社区对Python进行类型标注的工作越来越多，包括PEP526对变量的标注、PEP5......
随着互联网技术的高速发展，XML已成为互联网中数据交换和表示的事实标准，XML相关技术也在各种XML信息平台上扮演着重要的角色。国际......
学位
功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁。随机掩码是一种被广泛使用的用......
期刊
结合试验结果对预应力FRP布加固混凝土梁的承载力进行了理论研究.根据不同的破坏类型推导了考虑预应力损失的截面屈服弯矩、极限弯......
类型分析是反编译整个流程中的重要模块,其分析效果会对反编译所输出的高级语言的可读性与准确性产生极大的影响。文章所讨论的是......
Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制，无法在卡内进行.本......
Twig查询是XML数据查询的核心操作.在复杂的XML数据处理中,Twig查询结果的类型信息可以用于优化后续的XML数据查询与处理.针对这种......
作为一种不可靠的可下载Java程序,Java卡的字节码校验是安全的嵌入式系统所不可缺少的一个部分。由于Java卡本身的空间和运算器的......
随着互联网技术的高速发展以及大数据时代的来临,动态编程语言受到越来越广泛的关注。Python作为一种典型的动态编程语言,它语法简......
Python作为一种面向对象的动态类型语言,因其语法简单、有一组功能完备的标准库,且能轻松完成很多常见任务,而被越来越广泛地使用......
