Search Sciweavers | Sciweavers

1911 search results - page 29 / 383

» Program analysis for code duplication in logic programs

144

Voted

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 10 months ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

156

click to vote

CORR
2007
Springer

117views Education» more CORR 2007»

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

15 years 6 months ago

Download www.clip.dia.fi.upm.es

Edison Mera, Pedro López-García, Ger...

claim paper

Read More »

134

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

15 years 6 months ago

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

127

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 11 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

196

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers