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. Como resultado el análisis de control de flujo implica usualmente referirse a un análisis estático de software.
El término análisis de control de flujo fue introducido independientemente por Neil D. Jones[1] y Olin Shivers.[2]
En un lenguaje de programación con funciones de orden superior como Scheme, el objetivo de un llamado a función puede ser implícito. 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.
Neil D. Jones (1981), «Flow analysis of lambda expressions», Automata, Languages and Programming: 114-128, doi:10.1007/3-540-10843-2_10.
Shivers, Olin (1988), «Control-flow analysis in Scheme», Reprinted in \emph{20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1979--1999): A Selection, Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices, Vol.23, No.7: 164-174, doi:10.1145/53990.54007.
Datos:Q2348963
Multimedia:Control-flow analysis
Junio 06, 2022
análisis, control, flujo, análisis, control, flujo, técnica, análisis, estático, software, para, determinar, estructuras, control, programa, control, flujo, representa, través, grafo, control, flujo, mayoría, lenguaje, programación, control, flujo, encuentra, . El analisis de control de flujo es una tecnica de analisis estatico de software para determinar las estructuras de control de un programa El control del flujo se representa a traves del grafo de control de flujo CFG En la mayoria de los lenguaje de programacion el control del flujo se encuentra explicito en el codigo fuente del programa Como resultado el analisis de control de flujo implica usualmente referirse a un analisis estatico de software El termino analisis de control de flujo fue introducido independientemente por Neil D Jones 1 y Olin Shivers 2 En un lenguaje de programacion con funciones de orden superior como Scheme el objetivo de un llamado a funcion puede ser implicito Por ejemplo en la siguiente expresion l a m b d a f f x displaystyle lambda f fx No esta claro a que procedimiento f se refiere Para determinar los posibles objetivos se deberia considerar un analisis de control del flujo cuando esta expresion sea invocada y que argumentos deba recibir La interpretacion abstracta la resolucion de restricciones y el sistema de tipos suelen ser usados para llevar a cabo estos analisis Referencias Editar Neil D Jones 1981 Flow analysis of lambda expressions Automata Languages and Programming 114 128 doi 10 1007 3 540 10843 2 10 Shivers Olin 1988 Control flow analysis in Scheme Reprinted in emph 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979 1999 A Selection Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation PLDI SIGPLAN Notices Vol 23 No 7 164 174 doi 10 1145 53990 54007 Datos Q2348963 Multimedia Control flow analysis Obtenido de https es wikipedia org w index php title Analisis de control del flujo amp oldid 125599515, wikipedia, wiki, leyendo, leer, libro, biblioteca,
