按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 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.
收藏到书房
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
收藏到书房
12
Mutatis Mutandis Safe and Predictable Dynamic Software....pdf
MutatisMutandis:Safe PredictableDynamic Software UpdatingGareth Stoyle†Michael HicksGavin Bierman‡Pe
收藏到书房
7
Mutatis mutandis in corpore - seerufrgsbr.pdf
Mutatismutandis corporeIvanados Santos Teixeira*Alex Branco Fraga* *Resumo: Esta resenha do livro Co
收藏到书房
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,
收藏到书房

向豆丁求助：有没有mutandis?

如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。