functions

components

name

name

input list – parameter list

input list – parameter list

return value (+ type)

output list

single output ; via return ; sends returned value to caller ; or nothing (void)

multiple outputs ; via Send ; sends values to any output (or to none)

driven by textual syntax & mathematics

harder to describe multiple outputs as text

UNIX pipe syntax “2>” etc.

diagrams (network diagrams)

Ravi Sethi “Control Flow Aspects of Semantics-Directed Computing”