Search Sciweavers | Sciweavers

143 search results - page 1 / 29

» Termination of Well-Typed Logic Programs

click to vote

PPDP
2001
Springer

79views Programming Languages» more PPDP 2001»

Termination of Well-Typed Logic Programs

13 years 11 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sabina Rossi

claim paper

Read More »

click to vote

SAS
2005
Springer

118views Formal Methods» more SAS 2005»

Inference of Well-Typings for Logic Programs with Application to Termination Analysis

14 years 26 days ago

Download dtai.cs.kuleuven.be

A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...

Maurice Bruynooghe, John P. Gallagher, Wouter Van ...

claim paper

Read More »

click to vote

LPAR
2001
Springer

123views Automated Reasoning» more LPAR 2001»

Inferring Termination Conditions for Logic Programs Using Backwards Analysis

13 years 11 months ago

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

This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...

Samir Genaim, Michael Codish

claim paper

Read More »

click to vote

CORR
2000
Springer

82views Education» more CORR 2000»

On Modular Termination Proofs of General Logic Programs

13 years 7 months ago

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...

claim paper

Read More »