类型系统论文

论文摘要今天软件在我们的生活中已经无处不在,它对人们的影响越来越大,虽然有时会觉察不到它的存在。在许多领域如航空航天、金融、医疗、汽车电子等,软件的可信性具有十分重要的意义。随...

论文摘要人类已经进入信息社会，计算机网络技术为信息的获取、传输、处理、利用提供了越来越便捷的手段。由于网络“黑客”与“入侵者”的活动日益频繁，使得计算机网络中的信息变得越来越不...

论文摘要密码协议是网络通信和许多分布式系统的安全基础,协议的正确性和安全性对于保证攻击者不能获得秘密信息或实施不公平认证起着至关重要的作用。由于在协议的设计过程中对协议运行环境...

论文题目:反编译中的数据类型恢复问题论文类型:硕士论文论文专业:概率论与数理统计作者:夏靓导师:江其保关键词:反编译技术,局部性原理,数据类型恢复算法,形式化语言模型,类型系统...

论文题目:Java虚拟机安全性的形式化分析和验证论文类型:博士论文论文专业:计算机应用技术作者:左天军导师:陈平关键词:类型安全,字节码验证,动态类加载,类型系统,操作语义,定...