Catuscia Palamidessi  Home/Search
Context Related
Links: ACM DBLP | disi.unige.it/person/Palamide...root.ps 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: disi.unige.it/pers...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an algebra of idempotent substitutions whose operations have many properties. We provide an algorithm to compute these operations and we show how they are related to the standard composition. The theory of Logic Programming can be rewritten in terms of these new operations. The advantages are that both the operational and the declarative semantics of Horn Clause Logic can be formalized in a compositional way and the proofs of standard results, like the switching lemma, get... (Update)
Cited by: More
A General Approach for Building Constraint Languages - Hofstedt (2002) (Correct)
Strategies for the Efficient Solution of Hybrid.. - Frank, Hofstedt.. (2004) (Correct)
Unfold/fold Transformations Preserving Termination Properties - Amtoft (1992) (Correct)
Active bibliography (related documents): More All
0.8: From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993) (Correct)
0.5: Strict And Non-Strict Independent And-Parallelism In Logic.. - Hermenegildo, Rossi (1993) (Correct)
0.4: A Fully Abstract Model for Concurrent Constraint Programming - de Boer, Palamdessi (1991) (Correct)
Similar documents based on text: More All
0.5: Hierarchical Cellular Logic and the PIPE 1 processor.. - Ernest Kent And (Correct)
0.1: Idempotent Mathematics and Interval Analysis - Litvinov, Maslov, Sobolevskii (1998) (Correct)
0.1: Densities of Idempotent Measures and Large Deviations - Akian (1995) (Correct)
Related documents from co-citation: More All
20: Foundations of Logic Programming (context) - Lloyd - 1987
16: Unification revisited (context) - Lassez, Maher et al. - 1988
9: Term rewriting systems - Klop - 1992
BibTeX entry: (Update)
C. Palamidessi. Algebraic properties of idempotent substitutions. In M. S. Paterson, editor, Proc. of the 17th International Colloquium on Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science, pages 386-- http://citeseer.ist.psu.edu/palamidessi96algebraic.html More
@inproceedings{ palamidessi90algebraic,
author = "Catuscia Palamidessi",
title = "Algebraic Properties of Idempotent Substitutions",
booktitle = "Automata, Languages and Programming",
pages = "386-399",
year = "1990",
url = "citeseer.ist.psu.edu/palamidessi96algebraic.html" }
Citations (may not include all citations):1838 Foundations of logic programming (context) - Lloyd - 1987 ACM
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987 ACM DBLP
344 Concurrent constraint programming (context) - Saraswat, Rinard - 1990 ACM DBLP
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976 ACM DBLP
166 Unification Revisited (context) - Lassez, Maher et al. - 1988 ACM DBLP
151 Logic semantics for a class of committed-choice programs (context) - Maher - 1987 DBLP
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
32 A new declarative semantics for logic languages (context) - Falaschi, Levi et al. - 1988 DBLP
32 A logic programming language scheme (context) - Jaffar, Lassez et al. - 1986
32 Properties of substitutions and unifications (context) - Eder - 1985 ACM DBLP
26 Declarative modeling of the operational behaviour of logic l.. (context) - Falaschi, Levi et al. - 1989
12 Conclog: a Methodological Approach to Concurrent Logic Progr.. (context) - Jacquet - 1989
9 Fully abstract denotational semantics for Concurrent Prolog (context) - Gerth, Codish et al. - 1988
7 Reactive Behaviour semantics for Concurrent Constraint Logic.. (context) - Gaifman, Maher et al. - 1989 DBLP
5 A compositional semantics for Concurrent Prolog (context) - Kok - 1988 ACM DBLP
4 Semantic models for a version of PARLOG (context) - de Boer, Kok et al. - 1989 DBLP
2 on to logic programming (revised and extended version). Tech.. (context) - Apt - 1988
2 From failure to success: Comparing a denotational and a decl.. (context) - de Boer, Kok et al. - 1990 DBLP
1 An unfolding reactive semantics for concurrent constraint pr.. (context) - Gabbrielli, Levi - 1990
1 Resolution d'Equations dans des Langages d'Order (context) - Huet - 1976
1 A fixpoint semantics for Guarded Horn Clauses (context) - Palamidessi - 1988
1 Control flow versus logic: a denotational and a declarative .. (context) - de Boer, Kok et al. - 1989 DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.disi.unige.it/person/PalamidessiC/publications.html): More
An Algebraic Perspective of Constraint Logic Programming - de Boer, Di Pierro.. (1995) (Correct)
Nondeterminism and Infinite Computations in Constraint.. - de Boer, Di Pierro.. (1995) (Correct)
Comparing the Expressive Power of the Synchronous and the.. - Palamidessi (1997) (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