TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

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

6 pointsby supercasioover 6 years ago

1 comment

gumbyover 6 years ago
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 未加载