11653 search results - page 14 / 2331 » The Development of the C Language |
150
Voted
ICTAI
2008
IEEE
16 years 8 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
225
click to vote
IWPC
2010
IEEE
15 years 4 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
153
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
191
click to vote
SPIN
2012
Springer
13 years 8 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
165
click to vote
ECEASST
2008
15 years 6 months ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...