A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic

In order to obtain an understanding of parallel logic thought it is necessary to establish a fully abstract model of the denotational semantics of logic programming languages. In this paper, a fixed point semantics for the committed choice, non-deterministic family of parallel programming languages,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of advanced computer science & applications Jg. 3; H. 10
1. Verfasser:	Glazerman, Marion
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	West Yorkshire Science and Information (SAI) Organization Limited 01.01.2012
Schlagworte:	Logic programming Multitasking Multivalued logic Parallel programming Programming languages Semantics
ISSN:	2158-107X, 2156-5570
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!