SRFI 265: The CFG Language

by Marc Nieper-Wißkirchen

status: draft (2025-10-30)

keywords: Control Flow

library name: cfg

• The SRFI Document
• Discussion Archive
• Git repo (on GitHub)
• srfi-265@nospamsrfi.schemers.org (subscribers only)
• Subscribe to srfi-265 mailing list

  daily digest?

• Unsubscribe from srfi-265 mailing list

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.

The language described in this SRFI is not meant to be directly used in programs but by library authors to build abstractions like loop facilities on top of it.