Maria Alpuente, et al.  Home/Search
Context
Related
| dsic.upv.es/pub/reports/...iccl94.ps.gz dsic.upv.es/users/elp/be...iccl94.ps.gz 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: dimi.uniud.it/~fa...pubblicazioni (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context, an equational logic program is viewed as consisting of a set of modules, each module defining a part of the program's functions. We define a compositional semantics for conditional term rewriting systems which we show to be rich enough to capture computational properties related to the use of logical variables. We... (Update)
Similar documents (at the sentence level): More
40.0%: A Compositional Semantics for - Conditional Term Rewriting (Correct)
11.5%: Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
9.9%: Narrowing Approximations as an Optimization for Equational.. - Alpuente, al. (1993) (Correct)
Active bibliography (related documents): More All
0.4: Incremental Constraint Satisfaction for Equational Logic.. - Alpuente, Falashi, Levi (1991) (Correct)
0.3: Desiderata for Interactive Verification Systems - Slind, Prehofer (1994) (Correct)
0.2: Handling Equality in Logic Programming via Basic Folding - Degtyarev, Voronkov (1995) (Correct)
Similar documents based on text: More All
0.5: Unfolding of Equational Logic Programs - Alpuente, Falaschi, Ramis, Vidal (1994) (Correct)
0.5: Using Narrowing Approximations to Optimize - Equational Logic Programs (Correct)
0.3: Simplifying Language Through Error-Correcting Decoding - Yjuan-Carlos Amengual.. (Correct)
BibTeX entry: (Update)
@inproceedings{ afrv94,
Author = "M. Alpuente and M. Falaschi and M.J. Ramis and G. Vidal",
Title = "{A} {C}ompositional {S}emantics for {C}onditional {T}erm
{R}ewriting {S}ystems",
Booktitle = "Proc. 1994 Int'l Conf. on Computer Languages ICCL'94,
Toulouse, France",
Editor = "H.E. Bal",
Pages = "171-182",
Publisher = "IEEE Computer Society Press",
Year = "1994",
url = "citeseer.ist.psu.edu/102383.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
474 Term Rewriting Systems - Klop - 1991
146 Introduction to Logic Programming (context) - Apt - 1990
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
126 Canonical Forms and Unification (context) - Hullot - 1980
68 A Model-Theoretic Reconstruction of the Operational Semantic.. (context) - Falaschi, Levi et al. - 1993
48 A General Framework for Semantics-based Bottomup Abstract In.. - Barbuti, Giacobazzi et al. - 1993
45 Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
41 Models and Equality for Logical Programming (context) - Goguen, Meseguer - 1987
40 Suspension Analysis for Concurrent Logic Programs (context) - Codish, Falaschi et al. - 1991
39 An Algebra of Logic Programs (context) - Mancarella, Pedreschi - 1988
27 Towards an Algebra for Constructing Logic Programs (context) - O'Keefe - 1985
26 Termination of Linear Rewriting Systems (context) - Dershowitz - 1981
24 Modular Properties of Conditional Term Rewriting Constructor.. (context) - Middeldorp - 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
13 Conditional Rewrite Rules (context) - Kaplan - 1984
12 Springer-Verlag (context) - Holldobler, of - 1989
8 A Narrowing Procedure for Theories with Constructors (context) - Fribourg - 1984
7 Narrowing Approximations as an optimization for Equational L.. - Alpuente, Falaschi et al. - 1993
5 Equality and abductive residua for Horn Clauses - Knill, Cox et al. - 1993
4 Compositional Analysis for Equational Horn Programs - Alpuente, Falaschi et al. - 1994
3 SLD-resolution (context) - Bosco, Giovannetti et al. - 1988
1 Springer-Verlag (context) - Rusinowitz, Remy et al. - 1992
Documents on the same site (http://www.dimi.uniud.it/~falaschi/pubblicazioni.html): More
Suspension Analyses for Concurrent Logic Programs - Codish, Falaschi, Marriott (1994) (Correct)
Compositional Analysis for Equational Horn Programs - Alpuente, al. (1994) (Correct)
Narrowing Approximations as an Optimization for Equational.. - Alpuente, al. (1993) (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