Sciweavers

590 search results - page 6 / 118
» Non-Failure Analysis for Logic Programs
Sort
View
96
Voted
AGP
2010
IEEE
15 years 1 months ago
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...
IPPS
1999
IEEE
15 years 1 months ago
Compiler Analysis to Support Compiled Communication for HPF-Like Programs
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...
Xin Yuan, Rajiv Gupta, Rami G. Melhem