Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi 1) Dipartimento di...  Home/Search
Context Related
| profs.sci.univr.it/~giac...fgcs92.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: profs.sci.univr.it/~giac...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a simple and powerful generalized algebraic semantics for constraint logic programs that is parameterized with respect to the underlying constraint system. "Generalized semantics" abstract away from standard semantics objects, by focusing on the general properties of any (possibly non-standard) semantics definition. In constraint logic programming, this corresponds to a suitable definition of the constraint system supporting the semantics definition. An algebraic structure is... (Update)
Context of citations to this paper: More
...deduction techniques from AI and a semantic framework general enough to accomodate the corresponding approximate constraint systems. In [7] a simple and powerful generalized algebraic semantics for constraint logic programs is presented that is parameterized with respect to...
...is continued with the reduced store. The existence of projections with these properties has to do with the inherent algebraic properties of the constraint domain (cfr. [11] for more details) Definition 4.3 (Abstract projection) Given an abstract constraint system AC, the...
Cited by: More
Inferring Left-terminating Classes of Queries for Constraint.. - Mesnard (1996) (Correct)
Entailment and projection for CLP(B) and CLP(Q) in SICStus.. - Fred Mesnard Iremia (Correct)
Generalized Semantics And Abstract Interpretation For.. - Giacobazzi, Debray, Levi (1995) (Correct)
Active bibliography (related documents): More All
1.0: Generalized Semantics And Abstract Interpretation for . . . - Giacobazzi, al. (1995) (Correct)
0.5: Analysis of Logic Programs with Delay - Heaton, Hill, King (1997) (Correct)
0.3: S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (Correct)
Similar documents based on text: More All
0.3: Compositional Analysis of Modular Logic Programs - Codish, Debray, Giacobazzi (1993) (Correct)
0.3: Abstracting Synchronization in Concurrent Constraint.. - Zaffanella, Giacobazzi.. (1994) (Correct)
0.3: Static Analysis of CLP Programs over Numeric Domains - Bagnara, Giacobazzi, Levi (1992) (Correct)
Related documents from co-citation: More All
20: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
15: Constraint Logic Programming (context) - Jaffar, Lassez - 1987
14: Semantic foundation of concurrent constraint programming - Saraswat, Rinard et al. - 1991
BibTeX entry: (Update)
R. Giacobazzi, S. Debray, and G. Levy. A generalized semantics for constraint logic programs. In International Conference on Fifth Generation Computing Systems, 1992. http://citeseer.ist.psu.edu/giacobazzi92generalized.html More
@inproceedings{ giacobazzi92generalized,
author = "Giacobazzi, R. and Debray, S. and Levi, G.",
title = "A Generalized Semantics for Constraint Logic Programs",
booktitle = "Proceedings of the International Conference on Fifth Generation Computer Systems",
publisher = "Association for Computing Machinery",
address = "ICOT, Japan",
pages = "581--591",
year = "1992",
url = "citeseer.ist.psu.edu/giacobazzi92generalized.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
346 Denotational Semantics: The ScottStrachey Approach to Progra.. (context) - Stoy - 1977
312 Systematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1979
250 Automatic Discovery of Linear Restraints Among Variables of .. - Cousot, Halbwachs - 1978
216 Semantic foundation of concurrent constraint programming - Saraswat, Rinard et al. - 1991
214 Domains for Denotational Semantics (context) - Scott - 1982
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
72 Prop revisited: Propositional Formulas as Abstract Domain fo.. (context) - Cortesi, File et al. - 1991
57 Comparing Galoi Connection and WideningNarrowing Approache t.. - Cousot, Cousot et al. - 1991
48 A General Framework for Semantics-based Bottom-up Abstract I.. - Barbuti, Giacobazzi et al. - 1991
41 Analysis of Constraint Logic Programs (context) - Marriott, Sndergaard - 1990
40 Modeling Answer Constraints in Constraint Logic Programs - Gabbrielli, Levi - 1991
34 Proving Termination of Logic Programs by Exploiting Term Pro.. (context) - Bossi, Cocco et al. - 1991
24 Modelling Prolog Control - Barbuti, Codish et al. - 1992
15 Some Global Compile-Time Optimizations for CLP (context) - Jrgensen, Marriott et al. - 1991
9 An Algebraic Framework for the Abstract Interpretation of Lo.. (context) - Kemp, Ringwood - 1990
8 Generalized Horn Clause Programs - Debray, Ramakrishnan - 1991
8 Part I and II (context) - Henkin, Monk et al. - 1985
4 An Algebraization of First Order Logic with Terms (context) - Cirulis - 1991
3 Formal Specification of a Prolog Compiler (context) - Hanus - 1988
2 Dipartimento di Matematica Pura e Applicata (context) - Codognet, File et al. - 1991
1 Science of Computer Programming (context) - Barbuti, Martelli et al. - 1983
1 Automatic Derivation of Linear Size Relations (context) - Verschaetse, De Schreye - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://profs.sci.univr.it/~giaco/papers.html): More
A Characterization of Symmetric Semantics By Domain.. - Giacobazzi, Mastroeni (2000) (Correct)
Incompleteness, Counterexamples and Refinements in Abstract.. - Giacobazzi, al. (Correct)
Uniform Closures: Order-Theoretically Reconstructing Logic.. - Giacobazzi, al. (1998) (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