Sciweavers

590 search results - page 6 / 118

» Non-Failure Analysis for Logic Programs

129

Voted

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 12 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

133

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 10 months ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

199

Voted

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 10 months ago

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

135

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

15 years 6 months ago

Termination analysis of logic programs using acceptability with general term orders

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

189

IPPS
1999
IEEE

131views Distributed And Parallel Com...» more IPPS 1999»

Compiler Analysis to Support Compiled Communication for HPF-Like Programs

15 years 10 months ago

Compiler Analysis to Support Compiled Communication for HPF-Like Programs

Download www.cs.fsu.edu

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

claim paper

Read More »

« Prev « First page 6 / 118 Last » Next »