Affiliation:
1. Department of Computer Science University of York York UK
2. Imperial College London London UK
Funder
Engineering and Physical Sciences Research Council
Subject
Safety, Risk, Reliability and Quality,Software
Reference74 articles.
1. Some were meant for C: the endurance of an unmanageable language
2. The free lunch is over: a fundamental turn toward concurrency in software;Sutter H;Dr Dobb's J,2005
3. A Scalable, Correct Time-Stamped Stack
4. 9899:2011ISOIEC.Information technology programming languages C.Standard International Organization for Standardization Geneva CH 2011.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. How Hard Is Weak-Memory Testing?;Proceedings of the ACM on Programming Languages;2024-01-05
2. Optimal Reads-From Consistency Checking for C11-Style Memory Models;Proceedings of the ACM on Programming Languages;2023-06-06