Sciweavers

590 search results - page 6 / 118
» Non-Failure Analysis for Logic Programs
Sort
View
154
Voted
SAS
2001
Springer
109views Formal Methods» more  SAS 2001»
15 years 11 months ago
Parameterizing a Groundness Analysis of Logic Programs
Lunjin Lu
150
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 7 months ago
Termination analysis of logic programs using acceptability with general term orders
Alexander Serebrenik, Danny De Schreye
213
Voted
IPPS
1999
IEEE
15 years 11 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