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,...

Celý popis

Podrobná bibliografie

Vydáno v:	International journal of advanced computer science & applications Ročník 3; číslo 10
Hlavní autor:	Glazerman, Marion
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	West Yorkshire Science and Information (SAI) Organization Limited 01.01.2012
Témata:	Logic programming Multitasking Multivalued logic Parallel programming Programming languages Semantics
ISSN:	2158-107X, 2156-5570
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!