@inproceedings{a2c19ff3e99b4c47895c501fae9289b3,
title = "Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses",
abstract = "The paper gives four semantic models for Guarded Horn Clauses (GHC). Two operational models are based on a transition system; the first one gives the set of computed answer substitutions (the so-called success set) and the second one takes deadlock and infinite behaviour into account. They are easily related. The main purpose of the paper is to develop compositional models for GHC that are correct with respect to the operational models. For the success set case we give a compositional declarative semantics which can be seen a an extension of models for Horn Clause Logic. Further, a metric semantics that uses tree-like structures is given, which is proved to be correct with respect to the second operational semantics.",
author = "\{de Boer\}, \{Frank S.\} and Kok, \{Joost N.\} and Catuscia Palamidessi and Rutten, \{Jan J.M.M.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1989.; 14th Symposium on Mathematical Foundations of Computer Science, MFCS 1989 ; Conference date: 28-08-1989 Through 01-09-1989",
year = "1989",
month = jan,
day = "1",
doi = "10.1007/3-540-51486-4\_64",
language = "English",
isbn = "9783540514862",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "165--176",
editor = "Antoni Kreczmar and Grazyna Mirkowska",
booktitle = "Mathematical Foundations of Computer Science 1989, Proceedings",
}