|
关注：1
2013-05-23 12:21
求翻译：This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The formalization is detailed and extensive. Considerable tool support has been developed, with the goal of making the model accessible and easy to work wi是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The formalization is detailed and extensive. Considerable tool support has been developed, with the goal of making the model accessible and easy to work wi
问题补充： |
|
2013-05-23 12:21:38
本文提出了一种新hol4形式化目前ARM指令集架构，ARMv7体系。这是一个现代的RISC架构具有许多先进的功能。正规化是详细和广泛的。已开发大量的工具支持，与模型的访问和易于使用的目标。模型和支持工具是公开的 - 我们希望鼓励他人利用这一资源。本文解释我们单子规范方法，并给出了一些细节，一直努力
|
|
2013-05-23 12:23:18
本文件介绍了一个新的欧4正式化的目前ARM指令套建筑、armv7。 这是一种现代RISC结构,许多高级功能。 正式化的详细和广泛。 已制定了大量工具支持,目的在于使该模式可容易,与工作。 《示范和支助工具是可公开索取-我们要鼓励其他国家作出利用这一资源。
|
|
2013-05-23 12:24:58
本文介绍当前胳膊指令组建筑学， ARMv7的新的HOL4形式化。 这是现代RISC建筑学与许多先进的特点。 形式化是详细和广泛的。 可观的工具支持开发了，打算做式样容易接近和容易工作与。 模型和支撑工具公开地是可利用的-我们希望鼓励其他利用这种资源。 本文解释我们的一元规格方法并且提供是努力的有些细节
|
|
2013-05-23 12:26:38
本文介绍新的 HOL4 形式化当前 ARM 指令集体系结构，ARMv7。这是一个现代的 RISC 体系结构与许多高级功能。形式化是详细和广泛。制定了相当大的工具支持，可访问和容易地制作模型的目标。模型和支持工具是可公开获得 — — 我们要鼓励他人，使该资源的使用。本文解释了我们的一元的规范方法，并提供一些详细的努力已
|
|
2013-05-23 12:28:18
null
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
