3256 search results - page 117 / 652 » Mixin-Based Programming in C |
130
Voted
C5
2004
IEEE
15 years 7 months ago
2004
IEEE
The Japanese government has been promoting IT education, including programming, at elementary and secondary (K12) schools since 2002. We have developed Dolittle, an object-oriente...
152
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
150
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
143
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Recent years have seen an explosion of interest in lift and project methods, such as those proposed by Lov
193
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...