data-structures-from-ast-to-goto-program.md

\ingroup module_hidden \page data-structures-from-ast-to-goto-program Data structures: from AST to GOTO program

\author Martin Brain, Peter Schrammel

goto_programt

See \ref goto-programs, \ref goto_programt and [instructiont](\ref goto_programt::instructiont).

Example:

Unsigned mult (unsigned a, unsigned b) { int acc, i; for (i = 0; i < b; i++) acc += a; return acc; }

To be documented.