|
libcats.org
Главная →
Principles and Practice of Declarative Programming: International Conference, Ppdp'99, Paris, France, September, 29 - October 1, 1999, ProceedingsPrinciples and Practice of Declarative Programming: International Conference, Ppdp'99, Paris, France, September, 29 - October 1, 1999, ProceedingsGopalan NadathurThis book constitutes the refereed proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in September/October 1999. The 22 revised full papers presented together with three invited contributions were carefully reviewed and selected from a total of 52 full-length papers submitted. Among the topics covered are type theory; logics and logical methods in understanding, defining, integrating, and extending programming paradigms such as functional, logic, object-oriented, constraint, and concurrent programming; support for modularity; the use of logics in the design of program development tools; and development and implementation methods.
Скачать книгу бесплатно (pdf, 5.21 Mb)
Читать «Principles and Practice of Declarative Programming: International Conference, Ppdp'99, Paris, France, September, 29 - October 1, 1999, Proceedings » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
![]() Самодельные детали для сельского радиоприемникаАвтор: Авторы: З.Б.Гинзбург, Автор: Ф.И.Тарасов.Категория: радиоэлектроника
Размер книги: 1.40 Mb
![]() Английский школьникам. Тренажер по чтению. Буквы и звукиАвтор: Е. В. Русинова
Размер книги: 12.41 Mb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
![]() НЛП. Люди, которые играют ролиАвтор: Бакиров АнварКатегория: Нейро-лингвистическое программирование (НЛП)
Размер книги: 1.09 Mb
Только что пользователи скачали эти книги:
![]() Исполнительная техническая документация при строительстве зданий и сооруженийАвтор:Категория: Строительство, Технология Строительного Производства
Размер книги: 4.71 Mb
![]() 90-дневная диета раздельного питанияАвтор: Бреда Хробат, Автор: Мойца Поляншек
Размер книги: 16.61 Mb
![]() Дипломное проектирование по специальности 072000 ''Стандартизация и сертификация'': Методические указанияАвтор: Бойко С.В., Автор: Воробьев А.Л.Категория: Метрология. Стандартизация. Сертификация
Размер книги: 1.23 Mb
![]() Процессы и апппараты нефте-газо-переработки и нефтехимииАвтор: А.И.Скобло Ю.К.Молоканов А.И.Владимиров В.А.Щелкунов
Размер книги: 18.67 Mb
![]() Культура русской речиАвтор: И.В.Космарская, Автор: Л.М.Рощина, Автор: А.К.Руденко, Автор: М.П.ЯковлеваКатегория: КНИГИ ГУМАНИТАРНЫЕ НАУКИ
Размер книги: 267.88 Mb
|
|