Обсуждение:Анализ потока управления

WikiProject Информатика

(Рейтинговый класс-заглушка, маловажный)

Эта статья находится в рамках WikiProject Computer science — совместной работы по улучшению охвата статей, связанных с информатикой , в Википедии. Если вы хотите принять участие, посетите страницу проекта, где вы можете присоединиться к обсуждению и увидеть список открытых задач.Информатика Википедия:WikiProject Информатика Шаблон:WikiProject Информатика Статьи по информатике  Заглушка  Эта статья была оценена как Stub-Class по шкале качества проекта .  Низкий  Эта статья была оценена как Низкая важность по шкале важности проекта .   Чем вы можете помочь WikiProject Computer science : Вот некоторые задачи, ожидающие внимания: Требования к статье  : Запрошенные статьи/Прикладные искусства и науки/Информатика, вычислительная техника и Интернет Очистка  : Статьи по информатике, требующие внимания Статьи по информатике, требующие внимания экспертов Копировать  : Вычисления Развернуть  : Информатика Информационное окно  : Статьи по информатике без инфобоксов Поддерживать  : Хронология вычислений с 2020 г. по настоящее время Фото  : Найдите картинки для биографий компьютерных ученых (см. Список компьютерных ученых ) Компьютерные статьи, нуждающиеся в изображениях Заглушки  : Заготовки по информатике Без ссылки  : WikiProject Информатика / BLP без ссылок Связанные с проектом  : Отметьте все соответствующие статьи в категории:Информатика и подкатегории с помощью {{ WikiProject Computer science }}

Похоже, что Хехт придумал анализ потока управления в 1977 году.

В статье утверждается, что термин « анализ потока управления» был придуман Олином Шиверсом Нилом Д. Джонсом в 1980-х годах. Я не думаю, что это правда, потому что у меня есть книга, опубликованная в 1977 году под названием «Анализ потока компьютерных программ» и написанная Мэтью С. Хехтом, которая определяет анализ потока управления на странице 4 как «... кодирование соответствующих, возможных запрограммировать «структуру потока управления» или «поток управления» для последующего анализа потока данных». Danking00 ( разговор ) 15:11, 7 июля 2011 г. (UTC)

Верно. В любой книге по компиляторам есть ссылки на статьи, ранее заявленные как «первые» в этой статье, хотя эти ребята , возможно , придумали термин ... в своей конкретной области (см. Ниже). Но wp:вторичные источники следует использовать для подтверждения таких заявлений о приоритете в терминологии, что даже не так важно по сравнению с приоритетом в реальных методах. 188.27.81.64 ( разговор ) 21:35, 20 июля 2014 г. (UTC)

Термин CFA используется для совершенно разных анализов в мире функционального и императивного программирования. Что, вероятно, объясняет массовую путаницу в этой статье, в том числе в отношении того, кто это назвал. Вероятно, это правда, что ребята, перечисленные в статье, "выдумали" этот термин в области анализа функционального программирования , как в [re/mis]присвоили его для использования в функциональном программировании... Документ PLDI10, который я добавил в внешние ссылки, проливающие свет на проблему. Тип CFA, выполняемый в функциональном программировании, называется точечным анализом в императивном мире/мире ООП; это проблема только тогда, когда используются указатели функций (например, динамическая диспетчеризация). Стандартный межпроцедурный CFA в императивном программировании (т. е. без использования указателей на функции) просто вращался вокруг создания графа вызовов (см. Расширенный дизайн компилятора Мучника )., п. 609) Однако «Переменные с процедурным значением представляют собой более сложную проблему. Weihl [Weih80] показал, что построение графа вызовов рекурсивной программы с процедурными переменными является трудным для PSPACE, поэтому этот процесс может быть очень затратным как по времени, так и по пространству. " (Muchnick, стр. 612). В общем, любой, кто использует NNH в качестве эталона, должен хорошо осознавать, что все, что они там говорят (терминология тоже), исходит из их собственного маленького мира анализа функциональных программ, что, хотя и может дать некоторым людям успешные результаты. академической карьеры, это очень нишевая тема в мире программирования в целом, поэтому с этой точки зрения она не должна занимать статьи в Википедии. Книга Мачника имеет 3 тыс. цитирований в GS (и более 700 в ACM), в то время как NNH (опубликованная примерно в то же время) имеет лишь около половины цитирований в любом источнике, и этоs влияние за пределами научных кругов практически равно нулю; она также написана в гораздо менее доступной манере, поэтому неопытные читатели могут легко неправильно истолковать материал из NNH (что, похоже, часто случалось в этой статье, как и сейчас).188.27.81.64 ( разговор ) 23:43, 20 июля 2014 г. (UTC)

Забыл указать упомянутую там статью: Weihl, William E. Interprocedural Data Flow Analysis in the Presence of Pointers, procedure Variables, and Label Variables, in [POPL80], pp. 83-94. 188.27.81.64 ( разговор ) 00:43, 21 июля 2014 г. (UTC)

О, и еще Ф.Э. АЛЛЕН, Анализ потока управления, Уведомления SIGPLAN, 5 (1970), стр. 1-19. doi : 10.1145/800028.808479 , в котором говорится, что к тому времени «анализ потока управления был встроен во многие компиляторы и описан в нескольких статьях». Даже если это первое использование термина, это все равно не особо важная информация. 188.27.81.64 ( разговор ) 01:20, 21 июля 2014 г. (UTC)

Необходимо переписать

Кроме того, эта статья состоит в основном из неуместных вещей. Ни один из основных материалов, которые класс компилятора покрывает под этим заголовком, даже не упоминается. Посмотрите внешнюю ссылку, которую я добавил для сравнения, если книга по компилятору слишком дорога для вас... 188.27.81.64 ( обсуждение ) 21:37, 20 июля 2014 г. (UTC)

Кроме того, в этой статье даже не делается попытка отличить, когда речь идет о внутрипроцессуальном и межпроцедурном CFA, и делаются огульные заявления, которые абсолютно не применимы к обоим. 188.27.81.64 ( разговор ) 22:22, 20 июля 2014 г. (UTC)

Внешние ссылки изменены

Здравствуйте коллеги википедисты.

Я только что изменил одну внешнюю ссылку на Анализ потока управления . Пожалуйста, найдите минутку, чтобы просмотреть мое редактирование . Если у вас есть какие-либо вопросы или вам нужно, чтобы бот игнорировал ссылки или страницу в целом, посетите этот простой FAQ для получения дополнительной информации. Я сделал следующие изменения:

• Добавлен архив https://web.archive.org/web/20140728203154/http://pages.cs.wisc.edu/~cs701-1/NOTES/3.CONTROL-FLOW-ANALYSIS.html на http://pages .cs.wisc.edu/~cs701-1/NOTES/3.CONTROL-FLOW-ANALYSIS.html

Когда вы закончите просмотр моих изменений, вы можете следовать инструкциям в приведенном ниже шаблоне, чтобы исправить любые проблемы с URL-адресами.

Это сообщение было опубликовано до февраля 2018 года. После февраля 2018 года разделы страницы обсуждения «Внешние ссылки изменены» больше не генерируются и не отслеживаются InternetArchiveBot . Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием приведенных ниже инструкций инструмента архивации. У редакторов есть разрешение на удаление этих разделов страницы обсуждения «Внешние ссылки изменены», если они хотят избавиться от беспорядка на страницах обсуждения, но перед массовым систематическим удалением см. RfC . Это сообщение динамически обновляется через шаблон (последнее обновление: 18 января 2022 г.) .{{source check}}

• Если вы обнаружили URL-адреса, которые бот ошибочно считал мертвыми, вы можете сообщить о них с помощью этого инструмента .
• Если вы обнаружили ошибку с какими-либо архивами или самими URL-адресами, вы можете исправить их с помощью этого инструмента .

Ура.— InternetArchiveBot ( Сообщить об ошибке ) 17:16, 12 августа 2017 г. (UTC)