From failure to success: comparing a denotational and a declarative semantics for Horn clause logic

F. S. de Boer; J. N. Kok; C. Palamidessi; J. J.M.M. Rutten

doi:10.1016/0304-3975(92)90051-G

From failure to success: comparing a denotational and a declarative semantics for Horn clause logic

F. S. de Boer
, J. N. Kok
, C. Palamidessi
, J. J.M.M. Rutten

Technical University of Eindhoven
Universiteit Utrecht
University of Pisa
Centrum Wiskunde and Informatica

Research output: Contribution to journal › Article › peer-review

Abstract

The main purpose of the paper is to relate different models for Horn clause logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.

Original language	English
Pages (from-to)	239-263
Number of pages	25
Journal	Theoretical Computer Science
Volume	101
Issue number	2
DOIs	https://doi.org/10.1016/0304-3975(92)90051-G
Publication status	Published - 20 Jul 1992
Externally published	Yes

Access to Document

10.1016/0304-3975(92)90051-G

Cite this

@article{109a5cf4d3814ce1a01457f8495984f1,

title = "From failure to success: comparing a denotational and a declarative semantics for Horn clause logic",

abstract = "The main purpose of the paper is to relate different models for Horn clause logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.",

author = "\{de Boer\}, \{F. S.\} and Kok, \{J. N.\} and C. Palamidessi and Rutten, \{J. J.M.M.\}",

year = "1992",

month = jul,

day = "20",

doi = "10.1016/0304-3975(92)90051-G",

language = "English",

volume = "101",

pages = "239--263",

journal = "Theoretical Computer Science",

issn = "0304-3975",

number = "2",

}

TY - JOUR

T1 - From failure to success

T2 - comparing a denotational and a declarative semantics for Horn clause logic

AU - de Boer, F. S.

AU - Kok, J. N.

AU - Palamidessi, C.

AU - Rutten, J. J.M.M.

PY - 1992/7/20

Y1 - 1992/7/20

N2 - The main purpose of the paper is to relate different models for Horn clause logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.

AB - The main purpose of the paper is to relate different models for Horn clause logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one hand, to models based on maximal parallelism, on the other. We make use of complete metric spaces as an important mathematical tool, both in defining and in comparing the various models.

UR - https://www.scopus.com/pages/publications/0026886391

U2 - 10.1016/0304-3975(92)90051-G

DO - 10.1016/0304-3975(92)90051-G

M3 - Article

AN - SCOPUS:0026886391

SN - 0304-3975

VL - 101

SP - 239

EP - 263

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 2

ER -

From failure to success: comparing a denotational and a declarative semantics for Horn clause logic

Abstract

Access to Document

Other files and links

Fingerprint

Cite this