Sciweavers

590 search results - page 6 / 118
» Non-Failure Analysis for Logic Programs
Sort
View
126
Voted
VSTTE
2005
Springer
15 years 11 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu
130
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 5 months ago
Termination analysis of logic programs using acceptability with general term orders
Alexander Serebrenik, Danny De Schreye
179
Voted
IPPS
1999
IEEE
15 years 10 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