A note on implementing parallel assignment instructions
References (11)
- et al.
SIAM J. Computing
(1972) 3ed Ann. Sym. on Theory of Computing
CACM
(1962)Complexity of Computer Computations
The Art of Computer Programming
There are more references available in the full text version of this article.
Cited by (3)
Parallel Assignments in Software Model Checking
2006, Electronic Notes in Theoretical Computer ScienceTilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves
2008, Journal of Automated ReasoningAutomated software engineering using concurrent class machines
2001, Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001
Copyright © 1973 Published by Elsevier B.V.