3256 search results - page 15 / 652 » Mixin-Based Programming in C |
CAV
2007
Springer
15 years 9 months ago
2007
Springer
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
122
click to vote
ICTAI
2008
IEEE
15 years 9 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 ...
115
click to vote
HOPL
1993
15 years 7 months ago
1993
The C programming language was devised in the early 1970s as a system implementation language for the nascent Unix operating system. Derived from the typeless language BCPL, it ev...
218
click to vote
Book
"This book contains over 100 hacks which help C++ programs deal with the real. It includes coding tricks, tips on how to code safely, ideas on programming style, and some real...
141
Voted
GI
1995
Springer
15 years 7 months ago
1995
Springer
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...