stringtranslate.com

Discusión:Análisis de flujo de control

Parece que Hecht acuñó el término análisis de flujo de control en 1977

El artículo afirma que el término Análisis de Flujo de Control fue acuñado por Olin Shivers Neil D. Jones en la década de 1980. No creo que esto sea cierto porque tengo un libro publicado en 1977 llamado "Análisis de Flujo de Programas de Computadora" y escrito por Matthew S. Hecht que define el Análisis de Flujo de Control en la página 4 como "... la codificación de una 'estructura de flujo de control' o 'flujo de control' de un programa pertinente y posible para un análisis de flujo de datos subsiguiente". Danking00 (discusión) 15:11 7 jul 2011 (UTC) [ responder ]

De hecho. Cualquier libro de compiladores tiene citas de artículos anteriores que se consideran "primeros" en este artículo, aunque es posible que esos tipos hayan acuñado el término ... en su subcampo específico (ver más abajo). Pero se deberían utilizar fuentes secundarias para determinar tales afirmaciones de prioridad en la terminología, que ni siquiera es tan importante en comparación con la prioridad en las técnicas reales. 188.27.81.64 ( discusión ) 21:35, 20 de julio de 2014 (UTC) [ responder ]
El término CFA se utiliza para análisis completamente diferentes en los mundos de la programación funcional e imperativa. Lo que probablemente explica la enorme confusión en este artículo, incluso en cuanto a quién lo denominó. Probablemente sea cierto que las personas mencionadas en el artículo "acuñaron" el término en el campo del análisis de programación funcional , como en [re/mal]apropiarse de él para su uso en programación funcional... El artículo PLDI10, que he añadido a los enlaces externos, arroja algo de luz sobre el tema. El tipo de CFA que se realiza en programación funcional se llama análisis de puntos a en el mundo imperativo/OOP; solo es un problema allí cuando se utilizan punteros de función (como el despacho dinámico ). El CFA interprocedimental común en programación imperativa (es decir, sin punteros de función involucrados) simplemente giraba en torno a la creación de un gráfico de llamadas (cf. Muchnick Advanced Compiler Design , p. 609). Sin embargo, "las variables con valores de procedimiento presentan un problema más difícil. Weihl [Weih80] ha demostrado que construir el gráfico de llamadas de un programa recursivo con variables de procedimiento es PSPACE-hard, por lo que este proceso puede ser muy costoso tanto en tiempo como en espacio". (Muchnick, p. 612) En general, cualquiera que use NNH como referencia debe ser muy consciente de que todo lo que dicen allí (terminología también) proviene de su propio pequeño mundo de hacer análisis en programas funcionales, lo que si bien puede dar a algunas personas carreras académicas exitosas, es un tema muy específico en el mundo de la programación en general, por lo que no debería apoderarse de los artículos en Wikipedia con esa perspectiva. El libro de Muchnick tiene 3.000 citas en GS (y más de 700 en ACM) mientras que NNH (publicado aproximadamente al mismo tiempo) solo tiene aproximadamente la mitad de esas en ambas fuentes, y su impacto fuera del ámbito académico es prácticamente nulo; también está escrito de una manera mucho menos accesible, por lo que es fácil para los lectores inexpertos malinterpretar cosas de NNH (lo que parece haber sucedido mucho en este artículo, como está ahora). 188.27.81.64 ( discusión ) 23:43, 20 de julio de 2014 (UTC) [ responder ]
Olvidé incluir el artículo al que se hace referencia allí: Weihl, William E. Análisis del flujo de datos interprocedimental en presencia de punteros, variables de procedimiento y variables de etiqueta, en [POPL80], págs. 83-94. 188.27.81.64 ( discusión ) 00:43 21 jul 2014 (UTC) [ responder ]

Ah, y también está FE ALLEN, Control flow analysis, SIGPLAN Notices, 5 (1970), pp. 1-19. doi :10.1145/800028.808479 que dice que para entonces "el análisis del flujo de control se había incorporado en muchos compiladores y se había descrito en varios artículos". Incluso si ese es el primer uso del término, todavía no es información particularmente importante. 188.27.81.64 ( discusión ) 01:20 21 jul 2014 (UTC) [ responder ]

Es necesaria una reescritura

Además, este artículo se compone principalmente de cosas irrelevantes. Ni siquiera se menciona el material básico que una clase de compilador cubriría bajo este título. Vea el enlace externo que agregué para comparar, si un libro de compiladores es demasiado caro para usted... 188.27.81.64 ( discusión ) 21:37, 20 de julio de 2014 (UTC) [ responder ]

Además, este artículo ni siquiera intenta distinguir cuándo se habla de CFA intraprocedimental e interprocedimental y hace afirmaciones generales que no se aplican en absoluto a ambos. 188.27.81.64 ( discusión ) 22:22 20 jul 2014 (UTC) [ responder ]

Enlaces externos modificados

Hola compañeros wikipedistas,

Acabo de modificar un enlace externo en Análisis del flujo de control . Tómese un momento para revisar mi edición. Si tiene alguna pregunta o necesita que el bot ignore los enlaces o la página en su totalidad, visite esta sencilla sección de preguntas frecuentes para obtener información adicional. Hice los siguientes cambios:

Cuando haya terminado de revisar mis cambios, puede seguir las instrucciones de la plantilla a continuación para solucionar cualquier problema con las URL.

Este mensaje fue publicado antes de febrero de 2018. Después de febrero de 2018 , las secciones de la página de discusión "Enlaces externos modificados" ya no son generadas ni monitoreadas por InternetArchiveBot . No se requiere ninguna acción especial con respecto a estos avisos de la página de discusión, aparte de la verificación regular utilizando las instrucciones de la herramienta de archivo que se encuentran a continuación. Los editores tienen permiso para eliminar estas secciones de la página de discusión "Enlaces externos modificados" si desean despejar las páginas de discusión, pero consulten la RfC antes de realizar eliminaciones sistemáticas masivas. Este mensaje se actualiza dinámicamente a través de la plantilla (última actualización: 5 de junio de 2024) .{{source check}}

Saludos.— InternetArchiveBot ( Reportar error ) 17:16 12 ago 2017 (UTC) [ responder ]