Parallel symbolic processing in REFAL

zbMath0875.68778MaRDI QIDQ1817164

N. N. Mansurov

Publication date: 13 May 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

lazy evaluationautomatic parallelizationdataflow processingrecursive functions algorithmic languageREFAL programs

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Artificial intelligence (68T99)

This page was built for publication: Parallel symbolic processing in REFAL