Information Flow in Concurrent Logic Programming
Antoun Yaacoub, Ali Awada & Habib Kobeissi · Journal of Advances in Mathematics and Computer Science · 2014
This paper presents a new formalization of information flow detection in concurrent logic programming and applies it to the problem of deadlock detection. This work is based on a recent study of the detection of information flow in Datalog programs. Firstly, we define the concept...
Open access
Research Article
10.9734/BJMCS/2015/14398