- 1
- 2
- 3
- 4
- 5
C语言程序动态更新中的逻辑正确性
资料介绍
动态更新的研究已变得越来越重要，应用程序生命周期中需要不断进行更新，以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新，然后重启新版本的应用程序，而动态更新可以在程序的运行过程中使程序完成更新，免于重启的麻烦。另一方面，很多应用程序需要不间断的运行，短时间的中断会造成巨大的损失，这也使得动态更新的研究成为必然。针对不同的语言，有一些不同的更新技术，关于C 语言，目前动态更新的研究都还停留在实验室阶段，投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向，目前C语言的动态更新正确性研究还都停留在语法层面的正确性，没有涉及的程序更新前后的逻辑正确，针对这一不足，旨在Ginseng 平台上，对C程序动态更新逻辑正确性上做出改进。
部分文件列表
| 文件名 | 大小 |
| 1545224338C语言程序动态更新中的逻辑正确性.pdf | 556K |
最新上传
- 打赏
- 30日榜单
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：2KW超声波电源设计
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：八卦PCB图
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：扫码枪仿真和读取范例
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21下载积分 打赏10.00元 3天前
用户：玉落彼岸
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏260.00元 3天前
用户：kk1957135547
-
21ic下载 打赏210.00元 3天前
用户：w178191520
-
21ic下载 打赏230.00元 3天前
用户：liqiang9090
-
21ic下载 打赏120.00元 3天前
用户：1111111ffgg
-
21ic下载 打赏25.00元 3天前
用户：sun2152
-
21ic下载 打赏30.00元 3天前
用户：WK520077778
-
21ic下载 打赏25.00元 3天前
用户：xzxbybd
-
21ic下载 打赏25.00元 3天前
用户：玉落彼岸
-
21ic下载 打赏15.00元 3天前
用户：xuzhen1
-
21ic下载 打赏20.00元 3天前
用户：yulei2633
-
21ic下载 打赏15.00元 3天前
用户：宸晨
-
21ic下载 打赏10.00元 3天前
用户：suguslly
-
21ic下载 打赏5.00元 3天前
用户：大大财迷
-
21ic下载 打赏5.00元 3天前
用户：丙丁先生
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
我来看看怎 打赏5.00元 3天前
用户：xzxbybd
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏270.00元 3天前
用户：liqiang9090
-
21ic下载 打赏210.00元 3天前
用户：w178191520
-
21ic下载 打赏210.00元 3天前
用户：kk1957135547
-
21ic下载 打赏110.00元 3天前
用户：w1966891335
全部评论(0)