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

Издание 'Сделай сам'. 1999 № 02 (DjVU)

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

О физической природе шаровой молнии

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

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

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

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Денис Бурхаев. Зверская самка

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

Основы теории меры

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

The Social Psychology of the Primary School

Автор:
Категория: Психология
Размер книги: 970 Kb

Las Operas Richard Wagner

Автор:
Категория: fiction
Размер книги: 289 Kb

Pushing Ice

Автор:
Категория: fiction
Размер книги: 568 Kb