|
|
libcats.org
Functional and Logic Programming, 4 conf., FLOPS'99Aart Middeldorp, Taisuke SatoThis book constitutes the refereed proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, held in Tsukuba, Japan, in November 1999. The 23 revised full papers presented were carefully reviewed and selected from a total of 51 submissions. The papers are devoted to various current aspects of functional and logic programming as well as to the integration of these two paradigms. Among the topics addressed are typing, partial evaluation, program transformations, parsing, formal verification, program analysis, static analysis, narrowing, etc.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Shirley Damsgaard - Ophelia & Abby Mystery 3 - The Trouble With WitchesАвтор: Damsgaard Shirley
Размер книги: 404 Kb
Популярные лекции по математике. Автоматические цифровые машиныАвтор: Архангельский Н.А., Автор: Зайцев Б.И.
Размер книги: 1.89 Mb
Handbook of Tableau MethodsАвтор: M. D'Agostino, Автор: Dov M. Gabbay, Автор: Reiner Hähnle, Автор: J. Posegga
Размер книги: 3.24 Mb
Fundamental Problems of Mesoscopic Physics: Interactions and Decoherence (NATO Science Series II: Mathematics, Physics and Chemistry)Автор: Igor V. Lerner, Автор: Boris L. Altshuler, Автор: Yuval Gefen
Размер книги: 4.54 Mb
Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers ... Computer Science and General Issues)Автор: José Nelson AmaralКатегория: programming_development
Размер книги: 11.11 Mb
La muerte en Venecia ; Las tablas de la leyАвтор: Thomas Mann ; traducciones de Martin Rivas, Автор: Raul Schiaffino.
Размер книги: 393 Kb
Direct marketing success stories-- and the strategies that built the businessesАвтор: Bob Stone
Размер книги: 2.55 Mb
|
|
|