程序语义相关论文
为了提高软件的开发效率,目前已出现应用人工智能技术进行智能化开发的趋势,如何理解程序语义是智能化开发中需要重点解决的问题.......
以往对程序语言的形式化验证不能与类型系统相结合,推理程序的规则依赖于确定的类型。 这篇论文将尝试抹去类型与断言的界限。本......
随着计算机网络的不断发展和各种接入互联网终端的广泛使用,网络和人们的生产生活关系日益紧密,因而网络安全也受到更加广泛的关注......
随着科学科技的发展,尤其是信息化进程的不断加快,计算机及互联网在人们日常生活中发挥的作用越来越大,普及率也越来越高。计算机在各......
本文简单介绍了基于程序语义的计算机病毒检测方法的研究意义,并基于程序语义的计算机病毒程序结构特征,针对基于程序语义的计算机......
本文旨在介绍一个自动语义查错交互式系统中所给出的变量定值作用域的划分算法和以循环结构为单位的语义诊断策略。使用所给出的算......
超稠密计算模型是实时系统的一种抽象模型。该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行......
【摘 要】随着智能手机的日益普及,智能型手机越来越广泛地被应用在各个层面。与此同时,手机病毒以惊人速度蔓延,针对智能手机等无线......
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工......
本文提出了一种基于轨迹的称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一......
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出......
应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究......
通过分析病毒程序的典型传染行为模式,总结出传染模块的典型语义特征,形成描述其语义特征的语义关系框架,在此基础上提出了一种针对未......
近几年计算机病毒以惊人速度蔓延,计算机安全越来越受到人们的重视,计算机反病毒技术也发展的越来越快。当今最新最先进的计算机反病......
如何解决软件知识产权的保护问题,已成为近年来国内外的一个研究热点,具有重要的学术价值和现实意义。目前,研究者们在软件保护方......
在程序验证领域,Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的,这两个方法系统的基点是各自定义的语言系统,然后根据各自......
恶意代码不再仅是用来炫耀技术而是成为不法分子牟取不正当利益的工具。基于特征匹配的方法忽略了程序行为导致特征没有泛化性,一......
学位
程序语义是计算机技术中一项非常重要的内容,也是计算机程序的核心部分,而通过对程序语义进行检测可以有效的识别出系统中的病毒程......