𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Polyvariant detection of uninitialized arguments of prolog predicates

✍ Scribed by Thomas Lindgren

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
769 KB
Volume
28
Category
Article
ISSN
0743-1066

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Detecting conjunctions of global predica
Detecting conjunctions of global predicates
✍ Vijay K. Garg; J.Roger Mitchell πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 731 KB

We present an efficient algorithm to detect if the conjunction of two nonlocal predicates is possibly true in a distributed computation. For offline detection of such global predicates, our algorithm is significantly more efficient than the previous algorithms by Cooper and Marzullo, and by Staller

Efficient Detection of Channel Predicate
Efficient Detection of Channel Predicates in Distributed Systems
✍ V.K. Garg; C.M. Chase; Richard Kilgore; J.Roger Mitchell πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 443 KB

This paper discusses efficient detection of global predicates in a distributed program. Previous work in this area required predicates to be specified as a conjunction of predicates defined on individual processes. Many properties in distributed systems, however, use the state of channels, such as "

The argumentative impact of causal relat
The argumentative impact of causal relations β€”An exemplary analysis of the free predicate in the promotional discourse
✍ Anne Ellerup Nielsen πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 976 KB

The semantic relations between and within utterances are marked by the use of connectors and adverbials. One type of semantic relations is causal relations expressed by causal markers such as because, therefore, so, for, etc. Some of these markers cover different types of causal relations such as ca