FMCS User Manual > What Is Demonic Metaprogramming?

Modelling software by Control Flow and Data Flow

SSA-Form and Phi-Functions as Nondeterminstic Choice

Angelic and Demonic Semantics of Nondeterministic Choice

Favoring Demonic Semantics for Metaprogramming

Demonic Nondeterminism over Unified Control/Data Flow Graph

Demonic Semantics of Method Combination

Demonic Semantics of Introspection

Demonic Semantics of Backquote Syntax in Macroexpansion