Search Sciweavers | Sciweavers

1911 search results - page 29 / 383

» Program analysis for code duplication in logic programs

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

14 years 3 days ago

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

click to vote

CORR
2007
Springer

117views Education» more CORR 2007»

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

13 years 8 months ago

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

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

claim paper

Read More »

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

13 years 8 months ago

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

14 years 1 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

14 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers