| MIT | 張量 | 高效能運算 | 程式語言 | A Tensor Language
MIT研究人員發表高效能運算專用張量語言ATL
張量語言ATL可最佳化程式，並且提供證明助理來驗證最佳化的正確性，使得以該語言開發的程式可以兼具速度與可靠性
2022-02-15
