Древние скандинавы. Сыны северных богов Древние скандинавы. Сыны северных богов Функциональный анализ в нормированных пространствах Функциональный анализ в нормированных пространствах Аккордеон и баян в XXI веке: проблемы и перспективы Аккордеон и баян в XXI веке: проблемы и перспективы Технохимический контроль жиров и жирозаменителей Технохимический контроль жиров и жирозаменителей Пикирующий бомбардировщик Юнкерс Ju 87 "Stuka" Пикирующий бомбардировщик Юнкерс Ju 87 "Stuka" Математические основы теории автоматического регулирования (в 2-х томах) Математические основы теории автоматического регулирования (в 2-х томах) Политические слова, понятия и вещи Политические слова, понятия и вещи Искусственный интеллект для .NET: речь, язык и поиск. Конструирование умных приложений с использованием Microsoft Cognitive Services APIs Искусственный интеллект для .NET: речь, язык и поиск. Конструирование умных приложений с использованием Microsoft Cognitive Services APIs Опыт повествования о России Кн.3 Опыт повествования о России Кн.3 Охотники за медведями. Сборник Охотники за медведями. Сборник История международного права с древнейших времен до 1918 года История международного права с древнейших времен до 1918 года Социал-демократическая партия и контр-революция в Венгрии Социал-демократическая партия и контр-революция в Венгрии Омск в дни Октября и установления советской власти (1917-1919 гг.): Сборник документальных материалов Омск в дни Октября и установления советской власти (1917-1919 гг.): Сборник документальных материалов Кто помогал Гитлеру Европа в войне против Советского Союза Кто помогал Гитлеру Европа в войне против Советского Союза Годитесь ли вы в химики? Годитесь ли вы в химики? Археология и краеведение Беларуси XVI в. - 30-е годы XX в Археология и краеведение Беларуси XVI в. - 30-е годы XX в
Древние скандинавы. Сыны северных богов Древние скандинавы. Сыны северных богов Функциональный анализ в нормированных пространствах Функциональный анализ в нормированных пространствах Аккордеон и баян в XXI веке: проблемы и перспективы Аккордеон и баян в XXI веке: проблемы и перспективы Технохимический контроль жиров и жирозаменителей Технохимический контроль жиров и жирозаменителей Пикирующий бомбардировщик Юнкерс Ju 87 "Stuka" Пикирующий бомбардировщик Юнкерс Ju 87 "Stuka" Математические основы теории автоматического регулирования (в 2-х томах) Математические основы теории автоматического регулирования (в 2-х томах) Политические слова, понятия и вещи Политические слова, понятия и вещи Искусственный интеллект для .NET: речь, язык и поиск. Конструирование умных приложений с использованием Microsoft Cognitive Services APIs Искусственный интеллект для .NET: речь, язык и поиск. Конструирование умных приложений с использованием Microsoft Cognitive Services APIs Опыт повествования о России Кн.3 Опыт повествования о России Кн.3 Охотники за медведями. Сборник Охотники за медведями. Сборник История международного права с древнейших времен до 1918 года История международного права с древнейших времен до 1918 года Социал-демократическая партия и контр-революция в Венгрии Социал-демократическая партия и контр-революция в Венгрии Омск в дни Октября и установления советской власти (1917-1919 гг.): Сборник документальных материалов Омск в дни Октября и установления советской власти (1917-1919 гг.): Сборник документальных материалов Кто помогал Гитлеру Европа в войне против Советского Союза Кто помогал Гитлеру Европа в войне против Советского Союза Годитесь ли вы в химики? Годитесь ли вы в химики? Археология и краеведение Беларуси XVI в. - 30-е годы XX в Археология и краеведение Беларуси XVI в. - 30-е годы XX в
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
/
Название: Aliasing in Object-Oriented Programming: Types, Analysis and Verification
Автор: David Clarke, Tobias Wrigstad, James Noble
Издательство: O'Reilly Media
Год: 2013
Формат: PDF
Страниц: 515
Для сайта: openclass.ru
Размер: 5 Mb
Язык: English

This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.







Комментарии 0
Комментариев пока нет. Стань первым!
Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.