Ordered structures for parallel rule-based computations
type: Item
instance of: scholarly article
title: Ordered structures for parallel rule-based computations
zbMATH Open document ID: 0990.68043
DOI: 10.1080/00207160108805128
author: Cesar Alonso
author: Camino R. Vela
author: Ramiro Varela
author: Jorge Puente
published in: International Journal of Computer Mathematics
publication date: 2002-03-06T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 1716730
zbMATH Keywords: data flow lattice
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1080/00207160108805128
OpenAlex ID: W1981174102
cites work: Efficient dataflow analysis of logic programs
cites work: Some results on the complexity of exploiting data dependency in parallel logic programs
cites work: The reduce-or process model for parallel execution of logic programs
cites work: Compile-time derivation of variable dependency using abstract interpretation
cites work: Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
cites work: An algorithm to minimize representations of finite order relations
cites work: The best nondeterministic representations of finite orderings.
description: scientific article; zbMATH DE number 1716730