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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1978-2016
0204019782016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The practical application of Secure Two-Party Computation is hindered by the difficulty to implement secure computation protocols… (More)
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This paper presents a model checking tool, SatAbs, that implements a predicate abstraction refinement loop. Existing software… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
This article describes the software suite GROMACS (Groningen MAchine for Chemical Simulation) that was developed at the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
W l f h f l ifi i f ANSI C i e present a too or t e orma ver cat on o programs us ng Bounded Model Checking (BMC). The emphasis… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We describe an algorithm to verify a hardware design given in Verilog using an ANSI-C program as a specification. We use SAT… (More)
  • figure 1
Is this relevant?
Highly Cited
1997
Highly Cited
1997
PHiPAC was an early attempt to improve software performance by searching in a large design space of possible implementations to… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In scienti c computing, we often require the derivatives @f=@x of a function f expressed as a program with respect to some input… (More)
  • figure 8
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper introduces superoperators, an optimization technique for bytecoded interpreters. Superoperators are virtual machine… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
1 cc is a retargetable, production compiler for ANSI C; it has been ported to the VAX, Motorola 68020, SPARC, and MIPS R3000, and… (More)
  • table I
  • table II
  • figure 1
  • table III
  • figure 2
Is this relevant?
Highly Cited
1978
Highly Cited
1978
In this chapter we will learn how to • write simple computer programs using the C programming language; • perform basic… (More)
  • table 2.1
  • table 7.1
  • table 7.2
Is this relevant?