SRFI 242: The CFG Language

by Marc Nieper-Wißkirchen

status: final (2023-10-29)

keywords: Control Flow

See also SRFI 42: Eager Comprehensions.

library name: cfg

Abstract

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.