619 search results - page 41 / 124 » The Design and Implementation of a Certifying Compiler |
108
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
77
Voted
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit...
108
click to vote
SAMOS
2010
Springer
14 years 9 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
SIGCSE
2010
ACM
15 years 6 months ago
2010
ACM
Compiler and programming language implementation courses are integral parts of many computer science curricula. However, the range of topics necessary to teach in such a course ar...
CF
2010
ACM
15 years 5 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...