A Generalized Semantics for Constraint Logic Programs

  title={A Generalized Semantics for Constraint Logic Programs},
  author={Roberto Giacobazzi and Saumya K. Debray and Giorgio Levi},
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 deenition. In constraint logic programming, this corresponds to a suitable deenition of the constraint system supporting the semantics deenition. An algebraic structure is introduced… CONTINUE READING
41 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

A General Framework for Semanticsbased BottomupAbstract Interpretation of Logic Programs

  • R. Barbuti, R. Giacobazzi, G. Levi
  • TechnicalReport TR
  • 1991
Highly Influential
4 Excerpts

Domains for Denotational Semantics

  • D. Scott.
  • Proc . ICALP , volume 140 of Lecture Notes in…
  • 1991

Prov - ing Termination of Logic Programs by Exploiting TermProperties

  • N. Cocco A. Bossi, M. Fabris
  • 1991

AStructured Approach to Semantics Correctness

  • A. Martelli.
  • To appear in ACM Transactionson Programming…
  • 1983

Ab - stract Interpretation : A Uni ed Lattice Model for StaticAnalysis of Programs by Construction or Approximation of Fixpoints

  • R. Cousot.
  • Proc . Fourth ACM Symp . Principles of…
  • 1977

An Algebraization of First OrderLogic with Terms

  • J. Cirulis.
  • Colloquia Mathematica SocietatisJ  anos Bolyai

Palamidessi . Declarative Modeling of the OperationalBehavior of Logic Languages

  • G. Levi, M. Martelli
  • Theoretical Computer Science

Similar Papers

Loading similar papers…