首页> 美国政府科技报告 >Scalable and Precise Abstraction of Programs for Trustworthy Software.

【24h】

Scalable and Precise Abstraction of Programs for Trustworthy Software.

机译：可信赖软件程序的可扩展和精确抽象。

获取原文

页面导航

著录项
相似文献
相关主题

著录项

作者
Might, M.; Byrd, W.;
展开▼
作者单位

展开▼
年度 2017
页码 1-20
总页数 20
原文格式 PDF
正文语种 eng
中图分类
关键词
Trustworthy software;

机译：值得信赖的软件;
入库时间 2022-08-29 10:46:04

相似文献

外文文献
中文文献
专利

1. Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis [J] . Gharat Pritam M., Khedker Uday P., Mycroft Alan ACM Transactions on Programming Languages and Systems . 2020,第2期

机译：概括的点 - 图：点分析的精确和可扩展抽象
2. Multi-Constrained Catchment Scale Optimization of Groundwater Abstraction Using Linear Programming [J] . Danapour Mehrdis, Fienen Michael N., Hojberg Anker Lajer, Ground water . 2021,第4期

机译：使用线性规划地下水抽象的多约束集距量表优化
3. Abstractions for portable, scalable parallel programming [J] . Alverson G.A., Griswold W.G. IEEE Transactions on Parallel and Distributed Systems . 1998,第1期

机译：可移植，可扩展并行编程的抽象
4. Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions [C] . Raphael Monat, Antoine Mine International conference on verification, model checking, and abstract interpretation . 2017

机译：使用关系干扰抽象对并发程序进行精确的线程模块抽象解释
5. Scalable Symbolic Analysis of Large Real World Programs Using API Abstraction and Execution Histories. [D] . Li, Yueqi. 2015

机译：使用API抽象和执行历史记录的大型现实世界程序的可扩展符号分析。
6. Metal alkyls programmed to generate metal alkylidenes by α-H abstraction: prognosis from NMR chemical shift [O] . Christopher P. Gordon, Keishi Yamamoto, Keith Searles, 2018

机译：通过α-H抽象程序化生成金属亚烷基的金属烷基：NMR化学位移的预后
7. Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions [O] . Monat, Raphaël, Miné, Antoine 2017

机译：使用关系干扰抽象对并发程序进行精确的线程模块抽象解释

Scalable and Precise Abstraction of Programs for Trustworthy Software.

著录项

相似文献

相关主题

期刊订阅