Sciweavers

590 search results - page 6 / 118
» Non-Failure Analysis for Logic Programs
Sort
View
97
Voted
VSTTE
2005
Springer
15 years 9 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu
157
Voted
AGP
2010
IEEE
15 years 8 months ago
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...
104
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 3 months ago
Termination analysis of logic programs using acceptability with general term orders
Alexander Serebrenik, Danny De Schreye
153
Voted
IPPS
1999
IEEE
15 years 7 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