В машинах редукции графов программа представляет из себя граф, который надо редуцировать. Последовательность шагов, которая приводет к редукции, произволна. Тем не менее результат предопределен (в том числе такая программа может быть интерактивной - то есть редукция может порождать операции ввода-вывода).
Потоки данных так же не декларируют последовательность операций. Но Вам бы ими стоило заинтрисоваться - пасвалеподобные языки к ним подходят значительно лучше, а вот с C-шных указателей им плохеет :-)).