11653 search results - page 14 / 2331 » The Development of the C Language |
124
Voted
ICTAI
2008
IEEE
15 years 10 months 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 ...
183
Voted
IWPC
2010
IEEE
15 years 2 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...
118
Voted
ISCAS
2003
IEEE
15 years 9 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...
154
Voted
SPIN
2012
Springer
13 years 6 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 ...
138
Voted
ECEASST
2008
15 years 3 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...