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

Full description

Saved in:

Bibliographic Details
Published in:	International journal of advanced computer science & applications Vol. 3; no. 10
Main Author:	Glazerman, Marion
Format:	Journal Article
Language:	English
Published:	West Yorkshire Science and Information (SAI) Organization Limited 01.01.2012
Subjects:	Logic programming Multitasking Multivalued logic Parallel programming Programming languages Semantics
ISSN:	2158-107X, 2156-5570
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!