730 search results - page 1 / 146 » Developing a Foundation for Code Optimization |
CC
2004
Springer
13 years 10 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
POPL
2012
ACM
12 years 13 days ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
ICCS
2009
Springer
13 years 11 months ago
2009
Springer
The development of optimized codes is time-consuming and requires extensive architecture, compiler, and language expertise, therefore, computational scientists are often forced to ...
LFCS
2009
Springer
13 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
CODES
1999
IEEE
13 years 9 months ago
1999
IEEE
