Skip to search formSkip to main contentSkip to account menu

ANSI C

Known as: Standard C, ISO/IEC 9899, ISO C 
ANSI C, ISO C and Standard C refer to the successive standards for the C programming language published by the American National Standards Institute… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Propositional bounded model checking has been applied successfully to verify embedded software, but remains limited by increasing… 
Highly Cited
2010
Highly Cited
2010
Highly Cited
2009
Highly Cited
2007
Highly Cited
2007
This article presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP… 
Highly Cited
2005
Highly Cited
2005
This paper presents a model checking tool, SatAbs, that implements a predicate abstraction refinement loop. Existing software… 
Highly Cited
2005
Highly Cited
2005
is an encoder, that is, regarding Fq as the set of words in a natural language , the function V tells how to encode the words… 
Highly Cited
1997
Highly Cited
1997
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive… 
Highly Cited
1995
Highly Cited
1995
ANSI SQL-92 [MS, ANSI] defines Isolation Levels in terms of phenomena: Dirty Reads, Non-Repeatable Reads, and Phantoms. This… 
Highly Cited
1992
Highly Cited
1992
  • W. Stevens
  • Addison-Wesley professional computing series
  • 1992
  • Corpus ID: 35811886
For more than twenty years, serious C programmers have relied on one book for practical, in-depth knowledge of the programming…