首页> 外文OA文献 >Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking

【2h】

Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking

机译：证明链接：在懒惰，动态链接的情况下对移动程序的模块化验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Philip W. L. Fong; Robert D. Cameron;
展开▼
作者单位

展开▼
年度 2000
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modular Verification of Linked Lists with Views via Separation Logic [J] . Jonas Braband Jensen, Lars Birkedal, Peter Sestoft The Journal of object technology . 2011,第10期

机译：通过分离逻辑对带有视图的链表进行模块化验证
2. Programmable Peptide-Cross-Linked Nucleic Acid Nanocapsules as a Modular Platform for Enzyme Specific Cargo Release [J] . Santiana Joshua J., Sui Binglin, Gomez Nicole, Bioconjugate Chemistry . 2017,第12期

机译：可编程肽交联核酸纳米胶囊作为酶特异性货物释放的模块化平台
3. Modular-DNA-Programmed Construction of Permanent Nanoscale Cyclic Assemblies by Reaction of Covalently linked 2,5-bis(2-Thienyl)pyrrole Monomers [J] . Zhijie Ma, Wen Chen, Gary B. Schuster Chemistry of Materials: A Publication of the American Chemistry Society . 2012,第20期

机译：通过共价连接的2,5-双（2-噻吩基）吡咯单体的反应进行永久性纳米级环状组件的模块化DNA程序构建
4. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures [C] . Kamil Dudka, Petr Mueller, Petr Peringer, Tools and algorithms for the construction and analysis of systems. . 2012

机译：捕食者：具有动态链接数据结构的程序的验证工具
5. Proof linking: A modular verification architecture for mobile code systems. [D] . Fong, Philip W. L. 2004

机译：证明链接：用于移动代码系统的模块化验证体系结构。
6. Linking Suspension Nasal Spray Drug Deposition Patterns to Pharmacokinetic Profiles: A Proof of Concept Study using Computational Fluid Dynamics [O] . Alex Rygg, Michael Hindle, P. Worth Longest -1

机译：将悬浮鼻喷雾药物沉积模式与药代动力学谱联系起来：使用计算流体动力学的概念研究
7. Proof Linking: A Modular Verification Archietcture for Mobile Code Systems [O] . Fong Philip Wai Leung 2004

机译：证明链接：用于移动代码系统的模块化验证架构

Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking

著录项

引文网络

相似文献

相关主题

期刊订阅