Stepwise Development of Operational and Denotational Semantics for Prolog

Neil D. Jones, Alan Mycroft. Stepwise Development of Operational and Denotational Semantics for Prolog. In SLP. pages 281-288, 1984.

@inproceedings{JonesM84,
  title = {Stepwise Development of Operational and Denotational Semantics for Prolog},
  author = {Neil D. Jones and Alan Mycroft},
  year = {1984},
  tags = {semantics, Prolog, denotational semantics, operational semantics},
  researchr = {https://researchr.org/publication/JonesM84},
  cites = {0},
  citedby = {0},
  pages = {281-288},
  booktitle = {SLP},
}