C11 (C standard revision)

Known as: C1x 
C11 (formerly C1X) is an informal name for ISO/IEC 9899:2011, the current standard for the C programming language. It replaces the previous C… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1944-2017
010203019442016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
  • 2015
Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and… (More)
  • table 1
  • figure 1
  • table 2
Is this relevant?
2013
2013
We introduce relaxed separation logic (RSL), the first program logic for reasoning about concurrent programs running under the… (More)
  • figure 5
  • figure 6
  • figure 7
  • figure 9
  • figure 10
Is this relevant?
2013
2013
When constructing complex concurrent systems, abstraction is vital: programmers should be able to reason about concurrent… (More)
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We introduce a class of instrumental quantile regression methods for heterogeneous treatment effect models and simultaneous… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The paper provides new tools for the evaluation of DSGE models and applies them to a largescale New Keynesian dynamic stochastic… (More)
  • table 2
  • table 3
  • table 4
  • table 5
  • figure 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper uses a simple New Keynesian monetary DSGE model as a prior for a vector autoregression and shows that the resulting… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this article the principles of the field operation and manipulation ~FOAM! C11 class library for continuum mechanics are… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
newsgroups carry a wide enough spread of messages to make most individuals consider Usenet news to be a high noise information… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
newsgroups carry a wide enough spread of messages to make most individuals consider Usenet news to be a high noise information… (More)
  • table 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Dynamic storage allocation is an important part of a large class of computer programs written in C and C11. High-performance… (More)
  • table I
  • table II
  • table III
Is this relevant?