1114 search results - page 4 / 223 » Validating optimizations of concurrent C C programs |
CONCURRENCY
1998
13 years 8 months ago
1998
We consider the problem of converting C pointers to the less flexible concept of references. Our main application is converting scientific applications from C to Java. We provid...
PLDI
2000
ACM
14 years 1 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
CC
2005
Springer
14 years 2 months ago
2005
Springer
GECCO
2006
Springer
14 years 14 days ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...