Category-based Semantics for Equational and Constraint Logic Programming

@inproceedings{Diaconescu2007CategorybasedSF,
  title={Category-based Semantics for Equational and Constraint Logic Programming},
  author={A Diaconescu},
  year={2007}
}
This thesis proposes a general framework for equational logic programming, called categorybased equational logic by placing the general principles underlying the design of the programming language Eqlog and formulated by Goguen and Meseguer into an abstract form. This framework generalises equational deduction to an arbitrary category satisfying certain natural conditions; completeness is proved under a hypothesis of quanti er projectivity, using a semantic treatment that regards quanti ers as… CONTINUE READING

References

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

Introducing OBJ

  • Joseph Goguen, Timothy Winkler, Jos e Meseguer, Kokichi Futatsugi, Jean- Pierre Jouannaud
  • 1995
Highly Influential
20 Excerpts

Order sorted algebra

  • Joseph Goguen
  • Technical Report 14, UCLA Computer Sci- ence…
  • 1978
Highly Influential
20 Excerpts

Order-sorted uni cation

  • Jos e Meseguer, Joseph Goguen, Gert Smolka
  • Journal of Symbolic Computation,
  • 1989
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…