Maria Alpuente, Moreno Falaschi, MariaJose Ramis, German 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: Equational Logic Programming is a programming paradigm which integrates both Equational and Logic Programming (see [10, 11, 14, 15] for surveys on this area). In this paradigm, an equational logic program can be seen as a Conditional Term Rewriting System (CTRS for short), i.e. a set of conditional equations which are implicitely oriented from left to right, and the operational semantics is usually based on some variant of narrowing [17]. (Update)
Active bibliography (related documents): More All
0.2: Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (Correct)
0.1: Transformation of Logic Programs - Pettorossi, Proietti (1998) (Correct)
0.1: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
Similar documents based on text: More All
0.6: Using Narrowing Approximations to Optimize - Equational Logic Programs (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{ alpuente-unfolding,
author = "Maria Alpuente and Moreno Falaschi and MariaJose Ramis and German Vidal",
title = "Unfolding of Equational Logic Programs",
url = "citeseer.ist.psu.edu/alpuente94unfolding.html" }
Citations (may not include all citations):788 Rewrite systems - Dershowitz, Jouannaud - 1990
385 A Transformation System for Developing Recursive Programs - Burstall, Darlington - 1977
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
126 Canonical Forms and Unification (context) - Hullot - 1980
121 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno, Rodriguez-Artalejo - 1992
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
81 Slog: a logic programming language interpreter based on clau.. (context) - Fribourg - 1985
65 Automated Theorem-Proving for Theories with Simplifiers (context) - Slagle - 1974
57 A Compositional Semantics for Logic Programs (context) - Bossi, Gabbrielli et al. - 1994
39 Partial Evaluation as a Means for Inferencing Data Structure.. (context) - Komorowski - 1982
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
28 volume 353 of Lecture Notes in Artificial Intelligence (context) - Holldobler, Equational - 1989
25 Computing with Rewrite Systems (context) - Dershowitz - 1985
16 Analyses of Unsatisfiability for Equational Logic Programmin.. (context) - Alpuente, Falaschi et al. - 1994
15 Deductive and Inductive Synthesis of Equational Programs - Dershowitz, Reddy - 1993
9 Rewriting Techniques for Program Synthesis (context) - Reddy - 1989
6 Modular Transformations of CLP Programs (context) - Etalle, Gabbrielli - 1994
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