是否所有程序都可以轉換爲單一賦值形式？

Question

單一賦值表單被廣泛用於編譯器進行代碼優化。但是，我無法找到任何具體的書面材料，無論所有的課程是否轉換爲單一的作業形式。如果有可能，請將我引導至該材料，否則請提供一個反例。

Answer 1

我問了「實用動態單一分配轉換」的作者， ACM TODAES 2007，他們證實確實存在應用 單一轉讓形式的限制。 例如，運輸問題的解決方案（來自Operations Research - link）無法轉換，因爲它們的執行取決於數據相關的成本矩陣。然而，作者還提到，預定義的循環邊界可以基於架構限制等應用，使其適用於單一賦值形式。