Аннотация к книге "Predicate Transformer Semantics"
High Quality Content by WIKIPEDIA articles! Predicate transformer semantics was introduced by Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs". They define the semantics of an imperative programming language by assigning to each statement in this language a corresponding predicate transformer: a total function between two predicates on the state space of the statement. In this sense, predicate transformer semantics are a kind of denotational...
High Quality Content by WIKIPEDIA articles! Predicate transformer semantics was introduced by Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs". They define the semantics of an imperative programming language by assigning to each statement in this language a corresponding predicate transformer: a total function between two predicates on the state space of the statement. In this sense, predicate transformer semantics are a kind of denotational semantics. Actually, in Guarded commands, Dijkstra uses only one kind of predicate transformers: the well-known weakest preconditions Moreover, predicate transformer semantics are a reformulation of Floyd–Hoare logic. Whereas Hoare logic is presented as a deductive system, predicate transformer semantics (either by weakest-preconditions or by strongest-postconditions) are complete strategies to build valid deductions of Hoare logic.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Вы когда-нибудь слышали о чудесном острове Фунафути, на котором даже пираты становятся добрыми и воспитанными? А знаете, чем закончилась встреча Аллигатора и экватора? И почему после сэра Бома весь дом вдребезги? Об этих и многих других интересных историях юным читателям расскажут стихи Григория Кружкова. .Григорий Кружков смело вступает в соревнование с английским поэтом Эмилем Виктором Рью: берёт...
В серии «Красный каптал» выходят произведения известных советских писателей, повести и романы о выдающихся людях, проявивших героизм в военное и мирное время. А также исторические зарисовки о героических периодах истории нашей страны. Роман «Ключи от заколдованного замка» — одно из самых известных произведений писателя-мариниста Константина Сергеевича Бадигина. Он повествует об одном из...
Известный экономист и финансист Елена Котова пишет о вечном поиске Россией своего особого пути развития от начала XX века до сегодняшнего дня. Сравнивает его с самыми яркими страницами экономической истории США, Германии, Великобритании, когда те стояли на распутье, выбирая, как развивать страну. Откуда берутся деньги? Почему в одних странах люди живут хорошо, а в других, в том числе в России — не очень?...
Издательство:
Альпина Паблишер
Дата выхода: ноябрь 2017
Оставить комментарий