Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Bois A., Trinder P. — Programming Languages: 17th Brazilian Symposium, SBLP 2013, Bras?lia, Brazil, October 3 - 4, 2013. Proceedings
Bois A., Trinder P. — Programming Languages: 17th Brazilian Symposium, SBLP 2013, Bras?lia, Brazil, October 3 - 4, 2013. Proceedings



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Programming Languages: 17th Brazilian Symposium, SBLP 2013, Bras?lia, Brazil, October 3 - 4, 2013. Proceedings

Авторы: Bois A., Trinder P.

Аннотация:

This book constitutes the proceedings of the 17th Brazililan Symposium on Programming Languages, SBLP 2013, held in Bras?lia, Brazil, in September/October 2013.
The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded, parallel, and distributed programming, formal semantics and theoretical foundations, including denotational, operational, algebraic and categorical, program analysis and verification, including type systems, static analysis and abstract interpretation, and programming language design and implementation, including new programming models, programming language environments, compilation and interpretation techniques.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2013

Количество страниц: 151

Добавлена в каталог: 26.08.2017

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте