957 search results - page 70 / 192 » Modular Static Program Analysis |
110
click to vote
HIPC
2003
Springer
15 years 5 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
102
click to vote
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
One of the main promises of aspect-oriented programming (AOP) is to promote improved modularization of crosscutting concerns, thereby enhancing the software stability in the prese...
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
104
click to vote
LOPSTR
2009
Springer
15 years 6 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...