Don't sweat the small stuff-Reference-Cited by-同舟云学术

Don't sweat the small stuff

Published:2014-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Greenaway David¹,Lim Japheth¹,Andronick June¹,Klein Gerwin¹

Affiliation:

1. NICTA and UNSW, Sydney, Australia

Funder

Australian Government

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2594291.2594296

Reference29 articles.

1. The Verisoft Approach to Systems Verification

2. LNCS;Appel A.,2011

3. J. Bloch. Nearly all binary searches and mergesorts are broken. http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html Jun 2006. J. Bloch. Nearly all binary searches and mergesorts are broken. http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html Jun 2006.

4. LNCS;Bornat R.,2000

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. OpenBSD Formal Driver Verification with SeL4;Lecture Notes in Computer Science;2024

2. Formally Expressing What a Program Should Do: The ACSL Language;Computer Science Foundations and Applied Logic;2024

3. Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq;Lecture Notes in Computer Science;2024

4. Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15

5. Pancake;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23