Search Sciweavers | Sciweavers

1911 search results - page 28 / 383

» Program analysis for code duplication in logic programs

129

click to vote

SAS
2007
Springer

103views Formal Methods» more SAS 2007»

Footprint Analysis: A Shape Analysis That Discovers Preconditions

15 years 10 months ago

Download www.eecs.qmul.ac.uk

Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...

Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...

claim paper

Read More »

106

click to vote

SLP
1990

121views more SLP 1990»

Analysis of Constraint Logic Programs

15 years 5 months ago

Download clip.dia.fi.upm.es

eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.

Kim Marriott, Harald Søndergaard

claim paper

Read More »

105

click to vote

ICML
2003
IEEE

103views Machine Learning» more ICML 2003»

Learning Logic Programs for Layout Analysis Correction

16 years 5 months ago

Download www.hpl.hp.com

Margherita Berardi, Michelangelo Ceci, Floriana Es...

claim paper

Read More »

111

click to vote

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 9 months ago

Download www.springer.com

Lunjin Lu

claim paper

Read More »

103

click to vote

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers