A note on implementing parallel assignment instructions

DOI10.1016/0020-0190(73)90024-0zbMath0275.68004OpenAlexW2083729371MaRDI QIDQ1393119

Ravi Sethi

Publication date: 1973

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(73)90024-0

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (1)

Tilting at windmills with Coq: Formal verification of a compilation algorithm for parallel moves

Cites Work

• Unnamed Item
• Reducibility among Combinatorial Problems
• Optimization of Straight Line Programs
• The complexity of theorem-proving procedures

This page was built for publication: A note on implementing parallel assignment instructions