Свойство - язык
Cтраница 1
Свойство языка, определяемое возможностью включения в него новых правил составления конструкций. [1]
 |
Работает головная программа ( а. вызывается процедура А ( б, переполнение буфера показано серым цветом ( в. [2] |
Это свойство языка С позволяет произвести атаку следующего типа. На рис. 9.6, а показана работающая головная программа со своими локальными переменными в стеке. Затем управление передается процедуре Л, которая помещает в стек свои локальные переменные. [3]
 |
Работает головная программа ( а. вызывается процедура А ( б. переполнение буфера показано серым цветом ( в. [4] |
Это свойство языка С позволяет произвести атаку следующего типа. На рис. 9.6, а показана работающая головная программа со своими локальными переменными в стеке. Затем управление передается процедуре А, которая помещает в стек свои локальные переменные. [5]
Использование нереализованных свойств языка приводит к синтаксическим ошибкам. [6]
В основе процедурных свойств языка KRL также лежат наиболее распространенные программные методы, предполагающие подключение процедур общего вида к классам объектов данных. Бобров и Виноград объединили этот вид подключения процедур со структурой фрейма и позволили подклассам наследовать как процедуры, так и данные своего1 суперкласса. [7]
Итак, каждое свойство языка фон Неймана должно быть закодировано с ошеломляющими подробностями в структуре-языка. Более того, многие сложные свойства нужно подпирать слабым фундаментом пословного стиля. [8]
Хотя в исследовании свойств языков сетей Петри сделано уже немало, многое еще предстоит сделать. Из всех определенных классов языков изучены только два - Р - и L-типа, и они только для обычных сетей. Было определено несколько подмножеств множества обычных сетей Петри: маркированные графы, бесконфликтные сети, простые сети, сети со свободным выбором ( гл. Каждый из этих классов сетей Петри, по-видимому, имеет свой класс языков с присущими им отличительными особенностями. Некоторые исследования этих классов уже проведены. Извести о [115], что классы L, Z /, G, Gx, Р и Рх для простых сетей Петри ( без петель и кратных дуг, все комплекты - множества, и для каждого tj I ( tj) Л 0 ( tj) 0) идентичны соответствующим классам для обычных сетей Петри. Нетрудно видеть также, что классы Lx, Gx и Рх не изменятся при ограничении сетей до сетей со свободным выбором ( см. разд. Остаются не изученными еще многие интересные случаи. В частности, языки, порождаемые маркированными графами или в общем случае бесконфликтными сетями, как оказалось, имеют структуру, напоминающую структуру детерминированных контекстно-свободных языков, их исследование многообещающе. [9]
РЕКУРСИВНОСТЬ [ recursiveness ] Свойство языка программирования, состоящее в том, что конструкции языка допускают включение в себя в явном виде конструкции того же типа. [10]
В первом примере используются свойства языка Turbo - PASCAL. При компилировании программы, написанной на PASCAL, создается объектный код, с которым переплетаются части программы, непосредственно записанные в машинном коде. [11]
В этом языке сочетаются свойства языков высокого уровня с возможностями обращения к аппаратным средствам на уровне ассемблера. Первоначально предназначался для обучения программированию, но получил широкое распространение и популярность среди профессионалов. Удачные языки программирования редко остаются неизменными. Как правило, многие фирмы производят собственные диалекты этих языков, и, таким образом, способствуют их постепенной эволюции. [12]
Описанные в этой главе свойства языка ПЛ / 1 не исчерпывают всех средств, имеющихся в языке. [13]
Он обладает совокупностью некоторых реляционных свойств языка ПРОЛОГ и функциональных свойств языка ЛИСП. [14]
Создание специальных программ для проверки свойств языка - это порочная практика: все сведения вы должны черпать из описания языка. В данном случае мы проверяем свойства конкретной реализации, не определенной в предлагаемом стандарте Паскаля. Разумеется, если в вашем распоряжении имеется руководство для пользователей вашей реализации языка, лучше всего получить необходимую информацию оттуда, а не из программы проверкаосвобождения. [15]
Страницы: 1 2 3 4