Предикатно-трансформативна семантика
 | За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |  |
Предикатно-трансформативна семантика e екстенция на Флойд-Хойр логиката, изобретена от Дейкстра и е разширена и подобрена от други изследователи. Първо е представена в научната публикация на Дейсктра Guarded commands, nondeterminacy and formal derivation of programs („Защитени команди, недетерминативност и формална деривация на програмите“). Това е метод за дефиниране на семантиката на императивните програмни езици чрез задаването, назначаването към всяка команда в езика на кореспондиращ предикатен трансформатор.
Вижте също
[редактиране | редактиране на кода]- Аксиоматична семантика – включва предикатно-трансформативната семантика
- Формална семантика на програмните езици
 
|
Тази страница частично или изцяло представлява превод на страницата Predicate transformer semantics в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс – Признание – Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година – от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите.
ВАЖНО: Този шаблон се отнася единствено до авторските права върху съдържанието на статията. Добавянето му не отменя изискването да се посочват конкретни източници на твърденията, които да бъдат благонадеждни. |