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

Uložené v:

Podrobná bibliografia
Vydané v:	International journal of advanced computer science & applications Ročník 3; číslo 10
Hlavný autor:	Glazerman, Marion
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	West Yorkshire Science and Information (SAI) Organization Limited 01.01.2012
Predmet:	Logic programming Multitasking Multivalued logic Parallel programming Programming languages Semantics
ISSN:	2158-107X, 2156-5570
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!