In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control structure, flow of information) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible...
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control structure, flow of information) without performing all the calculations. Its main concrete application is formal static analysis, the automatic extraction of information about the possible executions of computer programs; such analyses have two main usages: inside compilers, to analyse programs in order to decide whether certain optimisations or transformations are applicable; for debugging or even the certification of programs against classes of bugs. Abstract interpretation was formalized by Patrick Cousot and Radhia Cousot.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Михаил Иванович Глинка (1804-1857) — одна из ключевых фигур в музыке и подлинный герой русской культуры. Невероятная, еще прижизненная, слава композитора способствовала возникновению вокруг него многочисленных мифов и домыслов. В представленной биографии воссоздается реальная, порой противоречивая личность Глинки. Впервые показано, как на его мировоззрение и творчество влияла принадлежность к русскому...
Издательство:
Молодая гвардия
Дата выхода: февраль 2019
Рассмотрен широкий спектр вопросов, связанных с разработкой цифровых устройств с применением ПЛИС Xilinx. Изложение материала основано на ПЛИС серии 7, концентрируясь на проектировании систем начального и среднего уровня. Сведения могут быть использованы и для проектирования на базе семейств UltraScale и UltraScale+. Рассмотрены также семейство Spartan-6 и САПР ISE. Кроме основных сведений о цифровых устройствах и ПЛИС,...
Издательство:
Горячая линия - Телеком
Дата выхода: август 2019
Оставить комментарий