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