Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Amadio, R., Asperti, A., Ayache, N., Campbell, B., Mulligan, D., Pollack, R., Régis-Gianas, Y., Coen, C.S., Stark, I.: Certified complexity. Procedia Computer Science 7, 175–177 (2011)
2. Lecture Notes in Computer Science;S. Berghofer,2009
3. Blazy, S., Leroy, X.: Mechanized semantics for the Clight subset of the C language. Journal of Automated Reasoning 43, 263–288 (2009),
http://dx.doi.org/10.1007/s10817-009-9148-3
4. Programming languages — C. International standard ISO/IEC 9899:1999, ISO (1999)
5. Campbell, B., Pollack, R.: Executable formal semantics of C. Tech. Rep. EDI-INF-RR-1412, School of Informatics, University of Edinburgh (2010)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SimSoC: A Fast, Proven Faithful, Full System Virtual Prototyping Framework;Model-Implementation Fidelity in Cyber Physical System Design;2016-12-10
2. Runtime Verification at Work: A Tutorial;Runtime Verification;2016
3. RV-Match: Practical Semantics-Based Program Analysis;Computer Aided Verification;2016
4. Defining the undefinedness of C;ACM SIGPLAN Notices;2015-08-07
5. Defining the undefinedness of C;Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation;2015-06-03