Меня интересует идея представления и выполнения программ с использованием графиков. Некоторая модель без стеков, где каждый узел в графе представляет функцию, а ребра представляют аргументы функций. Таким образом, функция не возвращает результат своему вызывающему, но передает результат в виде аргумента в другой узел функции. Полная чушь? А может это просто замаскированный конечный автомат? Какие-нибудь реальные реализации этого где-нибудь?