Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale Efficient computation of arbitrary control dependencies. (English) Zbl 07720775 Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Wang, Meng; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Yao, Chenguang Translating Xd-C programs to MSVL programs. (English) Zbl 1436.68077 Theor. Comput. Sci. 809, 430-465 (2020). MSC: 68N15 68N20 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv