Equational Logic Programs M. Alpuente M. Falaschi M.J. Ramis G. Vidal  Home/Search
Context
Related
| dsic.upv.es/users/elp/germa...paper.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsic.upv.es/users/elp/ge...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. E#cient methods based on narrowing strategies to solve systems of equations have been devised. In this paper, we formulate a narrowing-based equation solving calculus which makes use of a top-down abstract interpretation strategy to control the branching of the search tree. (Update)
Similar documents (at the sentence level): More
41.2%: Narrowing Approximations as an Optimization - For Equational Logic (Correct)
37.7%: Narrowing Approximations as an Optimization for Equational.. - Alpuente, al. (1993) (Correct)
7.7%: A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (Correct)
Active bibliography (related documents): More All
0.5: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
0.3: Compositional Analysis for Equational Horn Programs - Alpuente, al. (1994) (Correct)
0.3: Semantic Unification for Convergent Systems - Mitra (1994) (Correct)
Similar documents based on text: More All
0.6: Unfolding of Equational Logic Programs - Alpuente, Falaschi, Ramis, Vidal (1994) (Correct)
0.6: Publications in Program Development - June Journal (Correct)
0.5: A Comositional Semantics for Conditional Term Rewriting Systems - Alpuente, al. (Correct)
BibTeX entry: (Update)
@misc{ programs-using,
author = "Equational Logic Programs",
title = "Using Narrowing Approximations to Optimize",
url = "citeseer.ist.psu.edu/700271.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
474 Term rewriting systems - Klop - 1991
166 Unification Revisited (context) - Lassez, Maher et al. - 1988
126 Canonical Forms and Unification (context) - Hullot - 1980
81 Slog: a logic programming language interpreter based on clau.. (context) - Fribourg - 1985
48 Basic narrowing revisited (context) - Nutt, Rety et al. - 1989
42 Journal of Symbolic Computation (context) - Siekmann - 1989
40 Algebraic properties of idempotent substitutions - Palamidessi - 1990
32 A logic programming language scheme (context) - Ja, Lassez et al. - 1986
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
28 volume 353 of Lecture Notes in Artificial Intelligence (context) - Holldobler, Equational - 1989
22 unification algorithms based on Conditional Narrowing (context) - Giovannetti, Moiso et al. - 1986
20 Le Fun: Logic (context) - At-Kaci, Lincoln et al. - 1987
18 Suspension Analyses for Concurrent Logic Programs - Codish, Falaschi et al. - 1992
17 Solving Goals in Equational Languages (context) - Dershowitz, Sivakumar - 1987
17 NARROWER: A new algorithm for unification and its applicatio.. (context) - Rety, Kirchner et al. - 1985
17 Counterexamples to completeness results for basic narrowing (context) - Middeldorp, Hamoen - 1992
16 Narrowing directed by a graph of terms (context) - Chabin, Rety - 1991
16 Analyses of Unsatisfiability for Equational Logic Programmin.. (context) - Alpuente, Falaschi et al. - 1992
15 Watson Research Center (context) - Maher, substitutions et al. - 1990
14 Some termination criteria for narrowing and E-narrowing (context) - Christian - 1992
10 Incremental Constraint Satisfaction for Equational Logic Pro.. - Alpuente, Falaschi et al. - 1991
4 Analyses of Inconsistency for Incremental Equational Logic P.. (context) - Alpuente, Falaschi et al. - 1992
3 Narrowing Aproximations as an optimization for Equational Lo.. (context) - Alpuente, Falaschi et al. - 1993
3 A Universal Unification Condition for Solving Goals in Equat.. (context) - Aguzzi, Modigliani et al. - 1990
Documents on the same site (http://www.dsic.upv.es/users/elp/german/papers.html): More
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
Forward Slicing by Partial Evaluation - Vidal (Correct)
Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC