|
|
libcats.org
Programming Languages and Systems, 5 conf., APLAS 2007Zhong ShaoThis book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
Скачать книгу бесплатно (pdf, 4.53 Mb)
Читать «Programming Languages and Systems, 5 conf., APLAS 2007» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Жнива скорботи: радянська колективізація і голодоморАвтор: Конквест РобертКатегория: История
Размер книги: 975 Kb
А.П.Пурмаль, Е.М.Слободецкая. Как превращаются вещества ("Квант" #36) (1984, djvu)Автор:
Размер книги: 1.39 Mb
Таблицы стрельбы по наземным целям из стрелкового оружия калибров 5,45 и 7,62 мм. ТС-ГРАУ № 61Автор:Категория: Военная техника
Размер книги: 7.50 Mb
McGraw Hill Encyclopedia of Science & TechnologyАвтор: McGraw-HillКатегория: Encyclopedias
Размер книги: 20.22 Mb
|
|
|