Hob: A tool for verifying data structure consistency

机译：滚刀：一种用于验证数据结构一致性的工具

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Patrick Lam; Viktor Kuncak; Martin Rinard;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. GLASS: a tool to visualize protein structure prediction data in three dimensions and evaluate their consistency. [J] . Leplae R, Hubbard T, Tramontano A Proteins: Structure, Function, and Genetics . 1998,第4期

机译：GLASS：一种在三个维度上可视化蛋白质结构预测数据并评估其一致性的工具。
2. Model Consistency as a Tool for Digital Business Architecture Verification [J] . Václav ?epa, Oleg Svato? Procedia Computer Science . 2019,第5期

机译：模型一致性作为数字业务架构验证的工具
3. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures [J] . Abdulla Parosh Aziz, Haziza Fréd́eric, Holík Lukáš, International Journal on Software Tools for Technology Transfer . 2017,第5期

机译：用于高度并发数据结构的集成规范和验证技术
4. Hob: A Tool for Verifying Data Structure Consistency [C] . Patrick Lam, Viktor Kuncak, Martin Rinard International Conference on Compiler Construction(CC 2005) and Joint European Conferences on Theory and Practice of Software(ETAPS 2005); 20050404-08; Edinburgh(GB) . 2005

机译：滚刀：验证数据结构一致性的工具
5. Static verification of data-consistency properties. [D] . Kidd, Nicholas A. 2009

机译：数据一致性属性的静态验证。
6. Glycoconjugate Data Bank:Structures—an annotated glycan structure database and N-glycan primary structure verification service [O] . Taku Nakahara, Ryo Hashimoto, Hiroaki Nakagawa, -1

机译：糖缀合物数据库：结构-带注释的聚糖结构数据库和N-聚糖一级结构验证服务
7. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures [O] . Kamil Dudka, Petr Müller, Petr Peringer, 2012

机译：捕食者：具有动态链接数据结构的程序的验证工具
8. Set Interfaces for Generalized Typestate and Data Structure Consistency Verification [R] . Lam, P. , Zee, K. , Kuncak, V. , 2007

机译：设置广义类型状态和数据结构一致性验证的接口

Hob: A tool for verifying data structure consistency

著录项

引文网络

相似文献

相关主题

期刊订阅