status: draft (2022-11-11)
keywords: Control FlowSee also SRFI 42: Eager Comprehensions.
library name: cfg
This SRFI defines a language to describe control-flow graphs (CFGs) suitable for formulating iterative and recursive algorithms. Using the notion of a CFG term, this language can be seamlessly embedded in the Scheme language. Complex CFG terms can be composed from simple CFG terms.