Defining the undefinedness of C-Reference-Cited by-同舟云学术

Defining the undefinedness of C

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

Author:

Hathhorn Chris¹,Ellison Chucky²,Roşu Grigore²

Affiliation:

1. University of Missouri, USA

2. University of Illinois at Urbana-Champaign, USA

Funder

U.S. Department of Education

Publisher

ACM

Link

Reference29 articles.

4. Lecture Notes in Computer Science;Cousot P.

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

2. K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language;Proceedings of the 10th ACM Cyber-Physical System Security Workshop;2024-07

3. A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

5. FuzzyFlow: Leveraging Dataflow To Find and Squash Program Optimization Bugs;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2023-11-11