Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9780262161312

Книга ISBN13 9780262161312 - Types in Logic Programming (Frank Pfenning) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Types in Logic Programming
Types in Logic Programming
Авторы: Frank Pfenning
Издательство:
Год: 1992
Местонахождение: OZON.ru
ISBN: 9780262161312
Название: Types in Logic Programming
Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including simple types, regular tree types, polymorphic types, subtypes, and dependent types. Language design issues as well as semantics, pragmatics, and applications of types are discussed.The benefits that type considerations have to offer logic programming are being increasingly realized: through type checking many errors can be caught before a program is run, resulting in more reliable programs; types form an expressive basis for module systems, since they prescribe a machine-verifiable interface for the code encapsulated within a module; and types may be used to improve performance of code generated by a compiler. The research in this...
Авторы:
Издательство: The MIT Press
Год: 1992
Местонахождение: OZON.ru
ISBN: 978-0262161312


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.