An executable formal semantics of C with applications

标题
An executable formal semantics of C with applications
作者
关键词
-
出版物
ACM SIGPLAN NOTICES
Volume 47, Issue 1, Pages 533
出版商
Association for Computing Machinery (ACM)
发表日期
2012-10-16
DOI
10.1145/2103621.2103719

向作者/读者发起求助以获取更多资源

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Ask a Question. Answer a Question.

Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.

Get Started