Cтраница 1
Правильная программа определяет процедуру для конкретного процессора, удовлетворяющую определенным спецификациям. Следующие три причины могут быть основанием для внесения изменений или корректирования программ: 1) изменение спецификаций; 2) ошибки программирования; 3) несоответствие процессора его описанию. [1]
Для обработки правильной программы в блоке БИ можно ввести несколько функций, обрабатывающих операторы различных типов ( основной и специальные), а также управляющую функцию, которая определяет тип оператора, обращается к соответствующей функции для обработки оператора, осуществляет выбор оператора-преемника. [2]
Резюмируем: единственной правильной программой при условии демократического переворота будет такая: конфискации помещичьих земель и учреждения крестьянских комитетов мы должны немедленно требовать и не обставлять этого требования никакими ограничительными оговорками. Такое требование революционно и выгодно с точки зрения и пролетариата, и крестьянства при всяких, даже наихудших, условиях. Такое требование неизбежно влечет за собой крах полицейского государства и усиление демократизма. [3]
Процедурная семантика синтаксически правильной программы полностью определяется механизмом сопоставления термов и принятой в Прологе стратегией поиска решения. В Прологе нет условий появления ошибки или принята неопределенной операции. Полностью определенная семантика гарантирует, что ошибки в программе появляются только в результате отказа при сопоставлении или согласовании цели, но они не являются следствием странного поведения программы или непонятных сообщений об ошибках. [4]
Подслащенная программа является правильной программой в расширенном языке, а термин для синтаксического сахара - расширение. Ингредиентами расширений служат обозначения для расширений, а ритуал правильного подсахари-вания состоит в замене определенных последовательностей символов некоторыми другими последовательностями символов, что в большинстве случаев ведет к удобным сокращениям и более читабельному тексту. [5]
Если мы всегда пишем правильные программы и имеем возможность работать с хорошим компилятором, то для практических целей можно условно считать компилятор и вычислительную машину единой машиной, которая может непосредственно выполнять программы. [6]
Гораздо скорее мы получим правильную программу, если применим метод из урока 1, кое-что добавив к нему. [7]
Входная информация конвертора включает синтаксически правильную программу на Фортране ЭВМ Минск-32, а также управляющие операторы конвертора. Управляющие операторы конвертора готовятся на перфокартах в коде ДКОИ и содержат информацию о задаваемых режимах конвертирования. [8]
Входная информация конвертора включает одну или несколько синтаксически правильных программ на Фортране ЭВМ Минск-32, а также задаваемые пользователем режимы конвертирования. [9]
Проверка эффективности реализации направлена на отыскание способа заставить правильную программу работать быстрее или расходовать меньше памяти. Чтобы улучшить программу, пересматриваются результаты реализации в процессе построения алгоритма. Не рассматривая все возможные варианты и направления оптимизации программ, приведем здесь некоторые полезные способы, направленные на увеличение скорости выполнения программ. [10]
В теории программирования доказана теорема о том, что любая правильная программа ( с одним входом и одним выходом, без зацикливания и недостижимых операторов) может быть записана с использованием только указанных выше логических структур. [11]
Таким образом, спекулятивная команда приводит к сбою в изначально правильной программе. Еще хуже то, что программист изменяет программу, чтобы предотвратить подобную ситуацию, но сбой все равно происходит. [12]
Будучи неотъемлемым элементом функции управления, прогнозирование необходимо для выработки правильной программы, плана действий, обеспечивающих достижение наиболее целесообразных с точки зрения общественного прогресса результатов. [13]
При дополнительных ограничениях, задаваемых контекстными условиями, программа становится правильной программой в строгом языке. [14]
Советский народ с энтузиазмом одобряет проект Программы и рассматривает ее как единственно правильную программу своей жизни и борьбы, выражает готовность сделать все для того, чтобы осуществить ее на деле. [15]