TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Memory Model Verification at the Trisection of Software, Hardware, ISA (2017)

6 点作者 supercasio超过 6 年前

1 comment

gumby超过 6 年前
The paper looks interesting (though I&#x27;m not sure how practical it is) but what prompts me to comment is the horrible neologism &quot;trisection&quot;.<p>A &quot;dissection&quot; is to take apart (to transitively section, in other words). If it were to section something in two there would be only one &quot;s&quot;. And even reading the paper, the word the authors should have used is good old &quot;intersection&quot;.
评论 #18313242 未加载