Машина сокращения графов

Машина сокращения графов — это специальный компьютер, созданный для выполнения комбинаторных вычислений путем сокращения графов .

Примеры включают компьютер SKIM («SKI-машина»), созданный в компьютерной лаборатории Кембриджского университета , ^[1] многопроцессорный компьютер GRIP («Параллельное сокращение графов»), построенный в Университетском колледже Лондона , ^[2]^[3] и Редукторон, который был реализован на FPGA с единственной целью выполнения Haskell . ^[4]^[5]

См. также

SECD-машина

Ссылки

^ Кларк, TJW; Гладстон, PJS; Маклин, CD; Норман, AC (25 августа 1980 г.). «СКИМ - редуцирующая машина S,K,I» . Материалы конференции ACM 1980 года по LISP и функциональному программированию - LFP '80 . ЛФП '80. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 128–135. дои : 10.1145/800087.802798 . ISBN 978-1-4503-7396-8 . S2CID 10189254 .
^ «Редуцирующие машины» . 31 июля 2002 года. Архивировано из оригинала 31 июля 2002 года . Проверено 1 июля 2023 г.
^ Джонс, Саймон Л. Пейтон; Клак, Крис; Салкилд, Джон; Харди, Марк (1987). «GRIP — высокопроизводительная архитектура для параллельного сокращения графов». В Кане, Жиль (ред.). Функциональные языки программирования и архитектура компьютеров . Конспекты лекций по информатике. Том. 274. Берлин, Гейдельберг: Шпрингер. стр. 98–112. дои : 10.1007/3-540-18317-5_7 . ISBN 978-3-540-47879-9 .
^ Нейлор, Мэтью; Рансиман, Колин (2012). «Редукрон перенастроен и переоценен» . Журнал функционального программирования . 22 (4–5): 574–613. дои : 10.1017/S0956796812000214 . ISSN 1469-7653 . S2CID 1310090 .
^ Нейлор, Мэтью; Рансиман, Колин (2008). «Редукрон: расширение узкого места фон Неймана для сокращения графов с использованием FPGA» . В Читиле, Олаф; Хорват, Золтан; Зок, Виктория (ред.). Реализация и применение функциональных языков . Конспекты лекций по информатике. Том. 5083. Берлин, Гейдельберг: Springer. стр. 129–146. дои : 10.1007/978-3-540-85373-2_8 . ISBN 978-3-540-85373-2 .

Дальнейшее чтение

Т. Дж. Кларк, П. Гладстон, К. Маклин, AC Норман: SKIM — машина для уменьшения S, K, I. Конференция LISP, 1980: 128–135.

Внешние ссылки

Редукционные машины , Параллельное функциональное программирование: введение, Кевин Хаммонд

Эта о компьютерном оборудовании статья незавершена . Вы можете помочь Википедии, расширив ее .

[1] Кларк, TJW; Гладстон, PJS; Маклин, CD; Норман, AC (25 августа 1980 г.). «СКИМ - редуцирующая машина S,K,I» . Материалы конференции ACM 1980 года по LISP и функциональному программированию - LFP '80 . ЛФП '80. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 128–135. дои : 10.1145/800087.802798 . ISBN 978-1-4503-7396-8 . S2CID 10189254 .

[2] «Редуцирующие машины» . 31 июля 2002 года. Архивировано из оригинала 31 июля 2002 года . Проверено 1 июля 2023 г.

[3] Джонс, Саймон Л. Пейтон; Клак, Крис; Салкилд, Джон; Харди, Марк (1987). «GRIP — высокопроизводительная архитектура для параллельного сокращения графов». В Кане, Жиль (ред.). Функциональные языки программирования и архитектура компьютеров . Конспекты лекций по информатике. Том. 274. Берлин, Гейдельберг: Шпрингер. стр. 98–112. дои : 10.1007/3-540-18317-5_7 . ISBN 978-3-540-47879-9 .

[4] Нейлор, Мэтью; Рансиман, Колин (2012). «Редукрон перенастроен и переоценен» . Журнал функционального программирования . 22 (4–5): 574–613. дои : 10.1017/S0956796812000214 . ISSN 1469-7653 . S2CID 1310090 .

[5] Нейлор, Мэтью; Рансиман, Колин (2008). «Редукрон: расширение узкого места фон Неймана для сокращения графов с использованием FPGA» . В Читиле, Олаф; Хорват, Золтан; Зок, Виктория (ред.). Реализация и применение функциональных языков . Конспекты лекций по информатике. Том. 5083. Берлин, Гейдельберг: Springer. стр. 129–146. дои : 10.1007/978-3-540-85373-2_8 . ISBN 978-3-540-85373-2 .

[1]

[2]

[3]

[4]

[5]