Книги
  • @
  • «»{}∼
ATS (programming language)

ATS (programming language)

27082966
1125 руб.
Добавить в корзину
Описание
High Quality Content by WIKIPEDIA articles! ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages. By using theorem proving, and strict type checking, the compiler can detect and prove that its implemented functions are not susceptible to bugs such as division by zero, memory leaks, buffer overflow, and other forms of memory corruption by verifying pointer arithmetic and reference counting before the program compiles. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной тематики, представляя собой исключительно фактологический материал.
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand компанией ООО «Книга по Требованию». Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании. Книга, произведенная по технологии Print-on-Demand (POD) представляет собой классическую печатную книгу с соблюдением всех стандартов качества, от офсетной бумаги и плотного картона до качественного клея, используемого при изготовлении. Черно-белая текстовая или полноцветная иллюстрированная книга (в зависимости от исходного файла, подготовленного к печати) может быть изготовлена в разных вариантах: - в мягкой обложке (Клеевое Бесшвейное Скрепление); - скрепление скобой (для книг с небольшим количеством страниц); - в твердом переплете с клееным текстовым блоком; Материалы, используемые при производстве книги: - бумага текстового блока - офсетная (белая или кремовая) 80 г/м2 - мягкая обложка - бумага мелованная 250 г/м2; - ламинация обложки - матовая или глянцевая; - твердый переплет - картон 2 мм, каптал, белые форзацы, прямой корешок - сверхпрочный полимерный клей; - каждая книга упакована в термопленку. Каждый заказ обрабатывается в индивидуальном порядке: каждой книге, напечатанной по технологии Print-on-Demand, присваивается уникальный номер.