豆丁网
拖拽LOGO到书签栏收藏网站
权威考研资料库,备考必看
小学数学知识点精讲汇总
加入大会员,文档免费下
登录
注册
文档
专辑
用户
建筑
合同
报告
漫画
医疗
企业工具
按相关排序
按相关
最多阅读
最新上传
全部格式
全部格式
DOC
PDF
PPT
XLS
TXT
豆单
全部页数
全部页数
1-8页
9-100页
100页以上
时间不限
全部
2024年
2023年
2022年及以前
只看优质
只看可投资
展开
排序:
相关
最多阅读
最新上传
格式:
全部
doc
pdf
ppt
xls
txt
豆单
页数:
全部
1-8页
9-100页
100页以上
时间:
全部
2024年
2023年
2022年及以前
66
Mutatis
Mutandis: Safe and Predictable Dynamic Software Updating
.pdf
This paper presents Proteus, a core calculus that models dynamic software updating, a service for xing bugs and adding features to a running program. Proteus permits a program s type structure to change dynamically but guarantees the updated program remains type-correct by ensuring a property we call con-freeness. We show how con-freeness can be enforced dynamically, and how it can be approximated via a novel static analysis. This analysis can be used to assess the implications of a program s structure on future updates, to make update success more predictable. We have implemented Proteus for C, and briey discuss our implementation, which we have tested on several well-known programs.
enbook
热度:
收藏到书房
70
Mutatis
mutandis (safe and predictable dynamic software…
.pdf
MutatisMutandis:Safe PredictableDynamic SoftwareUpdatingGARETH STOYLEUniversity CambridgeMICHAELHICK
曹彬军
热度:
收藏到书房
129
Mutatis
Mutandis Safe and Predictable Dynamic Software Updating
.ppt
DynamicSoftware Updating: Introduction FoundationPresented MichaelHicks Oregon Summer School 2006 Dy
xok7nauj
热度:
收藏到书房
12
Mutatis
Mutandis Safe and Predictable Dynamic Software…
.pdf
MutatisMutandis:Safe PredictableDynamic Software UpdatingGareth Stoyle†Michael HicksGavin Bierman‡Pe
smlegh14
热度:
收藏到书房
7
Mutatis
mutandis in corpore - seerufrgsbr
.pdf
Mutatismutandis corporeIvanados Santos Teixeira*Alex Branco Fraga* *Resumo: Esta resenha do livro Co
owecnr68
热度:
收藏到书房
4
Mutatis
Mutandis Harmonize the Standard!
.pdf
EMutatisMutandis: Harmonize Standard!Quantitativeimaging takingamore prominent role research(1,2).Th
曹彬军
热度:
收藏到书房
15
Mutatis
-Mutandis
.pdf
No.14021/4/2016-AIS(II)Government IndiaMinistry Personnel,P.G. PensionDepartment TrainingNew Delhi,
auigml71
热度:
收藏到书房
升级豆丁大会员,13亿+文档免费下
更有在线复制文档、阅读零广告、专属客服等16项特权等你来
5万+用户已开通
向豆丁求助:有没有
mutatis
?
如要投诉违规内容,请
联系我们
按需举报;如要提出意见建议,请到
社区论坛
发帖反馈。