5090 search results - page 679 / 1018 » Constructing Strategies for Programming |
217
Voted
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
172
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
192
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
The problem of writing high performance parallel applications becomes even more challenging when irregular, sparse or adaptive methods are employed. In this paper we introduce com...
221
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
189
click to vote
GPCE
2004
Springer
16 years 3 days ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...