Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

FLOPS
2001
Springer

favoriteEmaildiscussreport

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

13 years 9 months ago

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto

Real-time Traffic

Automated Reasoning | FLOPS 2001 |

claim paper

Related Content

» BottomUp Shape Analysis

» GoalDirected and Relative Dependency Pairs for Proving the Termination of Narrowing

» Knowledge Representation with Logic Programs

» A Partial Evaluation Framework for Curry Programs

» Set functions for functional logic programming

» A Rewriting Logic Semantics Approach to Modular Program Analysis

» A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation

» Narrowing the Narrowing Space

» Logic program specialisation through partial deduction Control issues

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FLOPS
Authors	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón

Comments (0)