libcats.org
Главная

Programming Languages and Systems, 9 conf., ESOP 2000

Обложка книги Programming Languages and Systems, 9 conf., ESOP 2000

Programming Languages and Systems, 9 conf., ESOP 2000

This book constitutes the refereed proceedings of the 9th European Symposium on Programming, ESOP 2000, held as part of ETAPS 2000 in Berlin, Germany in March/April 2000. The 27 revised full papers presented together with one invited paper were carefully reviewed and selected from 84 submissions. Among the topics addressed are language translation, coordination languages, typed languages, logic programs, Java, C-programming, type systems, language continuations, programming calculi, programming theory, mobile processes, interprocedural program analysis, flow analysis, etc.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

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

Cordwainer Smith - The Planet Buyer

Автор:
Размер книги: 283 Kb

Тамара Черемнова. Где живет сказка

Автор:
Размер книги: 9 Kb

Ричард Уилбер. Ясновидящий

Автор:
Размер книги: 15 Kb

Экология

Автор: , Автор:
Категория: science, education, science, living
Размер книги: 10.03 Mb

Три богатыря и Шамаханская царица

Автор:
Категория: КНИГИ ДЛЯ ДЕТЕЙ
Размер книги: 11.78 Mb