El control del flujo se representa a través del grafo de control de flujo (CFG).En la mayoría de los lenguaje de programación, el control del flujo se encuentra explícito en el código fuente del programa.Por ejemplo, en la siguiente expresión: No está claro a qué procedimiento f se refiere.Para determinar los posibles objetivos, se debería considerar un análisis de control del flujo cuando esta expresión sea invocada y que argumentos deba recibir.La interpretación abstracta, la resolución de restricciones y el sistema de tipos suelen ser usados para llevar a cabo estos análisis.
Resumen de declaraciones condicionales en el lenguaje de programación Swift 2.1
