SLP 1989 | Sciweavers

8

click to vote

SLP
1989

47views more SLP 1989»

Determination of Variable Dependence Information through Abstract Interpretation

13 years 6 months ago

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

Kalyan Muthukumar, Manuel V. Hermenegildo

claim paper

Read More »

17

click to vote

SLP
1989

105views more SLP 1989»

Automatic Ordering of Subgoals - A Machine Learning Approach

13 years 6 months ago

Download www.cs.technion.ac.il

This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...

Shaul Markovitch, Paul D. Scott

claim paper

Read More »

16

click to vote

SLP
1989

87views more SLP 1989»

Partial Evaluation in Prolog: Some Improvements about Cut

13 years 6 months ago

Download www.dsi.unive.it

Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...

Michele Bugliesi, F. Russo

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers