DOI10.1006/jsco.1996.0031zbMath0863.68041MaRDI QIDQ2365129
Keith M. Clarke, Richard Bornat, Jonathan M. D. Hill
Publication date: 22 May 1997 Published in: Journal of Symbolic Computation (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1006/jsco.1996.0031
zbMATH Keywords
vectorization monad; vectorizing compiler
Mathematics Subject Classification ID
68N20: Theory of compilers and interpreters
68N01: General topics in the theory of software