libcats.org
Главная

Functional and Logic Programming, 4 conf., FLOPS'99

Обложка книги Functional and Logic Programming, 4 conf., FLOPS'99

Functional and Logic Programming, 4 conf., FLOPS'99

,
This 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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Genki 1: An Integrated Course in Elementary Japanese 1

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:

Exercises in probability

Автор:
Категория: M_Mathematics, MV_Probability
Размер книги: 1.38 Mb

Dear Hacker: Letters to the Editor of 2600

Автор:
Размер книги: 6.92 Mb

Encyclopedia of Psychopharmacology

Автор:
Размер книги: 18.82 Mb

Insurgent Cuba: Race, Nation, and Revolution, 1868-1898

Автор:
Категория: История
Размер книги: 11.88 Mb

Smart Coatings II (ACS Symposium Series 1002)

Автор: , Автор:
Размер книги: 38.61 Mb

Obstetrics by Ten Teachers 18th Edition

Автор: , Автор:
Размер книги: 115.28 Mb