Sciweavers

1461 search results - page 49 / 293

» Analysis of Constraint Logic Programs

102

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 7 months ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

95

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

15 years 7 months ago

An Algebraic Approach to Sharing Analysis of Logic Programs

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

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

89

Voted

LPAR
1993
Springer

92views Automated Reasoning» more LPAR 1993»

Sequentialization of Parallel Logic Programs with Mode Analysis

15 years 7 months ago

Sequentialization of Parallel Logic Programs with Mode Analysis

Download web.cecs.pdx.edu

Barton C. Massey, Evan Tick

claim paper

Read More »

106

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 7 months ago

Cost Analysis of Games, Using Program Logic

Download www.cse.unsw.edu.au

Carroll Morgan, Annabelle McIver

claim paper

Read More »

120

Voted

CORR
2007
Springer

117views Education» more CORR 2007»

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

15 years 3 months ago

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

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

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

claim paper

Read More »

« Prev « First page 49 / 293 Last » Next »