Aliasing in Object-Oriented Programming: Types, Analysis and Verification » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Research Tendencies and Prospect Domains for AI Development and Implementation Research Tendencies and Prospect Domains for AI Development and Implementation «Світова класика - дітям»: Навколо світу за 80 днів «Світова класика - дітям»: Навколо світу за 80 днів «Світова класика - дітям»: Мерлін та лицарі Круглого Столу «Світова класика - дітям»: Мерлін та лицарі Круглого Столу Yearbook of Astronomy 2025 Yearbook of Astronomy 2025 Mini Northern Chinese Favorites Mini Northern Chinese Favorites Высшая алгебра (2024) Высшая алгебра (2024) PowerShell 101: The No-Nonsense Beginner's Guide to PowerShell (Update 2024-03-04) PowerShell 101: The No-Nonsense Beginner's Guide to PowerShell (Update 2024-03-04) Некоторый опыт российской космической деятельности (1991 - 2015 гг.): история и политика (Служу России! Книжная серия) Некоторый опыт российской космической деятельности (1991 - 2015 гг.): история и политика (Служу России! Книжная серия) Арбитраж трафика для домохозяек. CPA в нише HR. 2024 Арбитраж трафика для домохозяек. CPA в нише HR. 2024 PowerShell: Working with APIs PowerShell: Working with APIs Рецепты питания при анемии Рецепты питания при анемии Python Programming: Versatile, High-Level Language for Rapid Development and Scientific Computing Python Programming: Versatile, High-Level Language for Rapid Development and Scientific Computing Master Software Architecture: A Pragmatic Guide Master Software Architecture: A Pragmatic Guide Jetpack Compose 1.7 Essentials: Developing Android Apps with Jetpack Compose 1.7, Android Studio, and Kotlin Jetpack Compose 1.7 Essentials: Developing Android Apps with Jetpack Compose 1.7, Android Studio, and Kotlin Coding For Beginners - 20th Edition 2024 Coding For Beginners - 20th Edition 2024 Тiсто. Дрiжджове, листкове, пiсочне, заварне Тiсто. Дрiжджове, листкове, пiсочне, заварне
Research Tendencies and Prospect Domains for AI Development and Implementation Research Tendencies and Prospect Domains for AI Development and Implementation «Світова класика - дітям»: Навколо світу за 80 днів «Світова класика - дітям»: Навколо світу за 80 днів «Світова класика - дітям»: Мерлін та лицарі Круглого Столу «Світова класика - дітям»: Мерлін та лицарі Круглого Столу Yearbook of Astronomy 2025 Yearbook of Astronomy 2025 Mini Northern Chinese Favorites Mini Northern Chinese Favorites Высшая алгебра (2024) Высшая алгебра (2024) PowerShell 101: The No-Nonsense Beginner's Guide to PowerShell (Update 2024-03-04) PowerShell 101: The No-Nonsense Beginner's Guide to PowerShell (Update 2024-03-04) Некоторый опыт российской космической деятельности (1991 - 2015 гг.): история и политика (Служу России! Книжная серия) Некоторый опыт российской космической деятельности (1991 - 2015 гг.): история и политика (Служу России! Книжная серия) Арбитраж трафика для домохозяек. CPA в нише HR. 2024 Арбитраж трафика для домохозяек. CPA в нише HR. 2024 PowerShell: Working with APIs PowerShell: Working with APIs Рецепты питания при анемии Рецепты питания при анемии Python Programming: Versatile, High-Level Language for Rapid Development and Scientific Computing Python Programming: Versatile, High-Level Language for Rapid Development and Scientific Computing Master Software Architecture: A Pragmatic Guide Master Software Architecture: A Pragmatic Guide Jetpack Compose 1.7 Essentials: Developing Android Apps with Jetpack Compose 1.7, Android Studio, and Kotlin Jetpack Compose 1.7 Essentials: Developing Android Apps with Jetpack Compose 1.7, Android Studio, and Kotlin Coding For Beginners - 20th Edition 2024 Coding For Beginners - 20th Edition 2024 Тiсто. Дрiжджове, листкове, пiсочне, заварне Тiсто. Дрiжджове, листкове, пiсочне, заварне
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
Добавил: Ice Zero / 3-12-2018, 16:04 /
Название: Aliasing in Object-Oriented Programming: Types, Analysis and Verification
Автор: David Clarke, Tobias Wrigstad, James Noble
Издательство: O'Reilly Media
Год: 2013
Формат: PDF
Страниц: 515
Для сайта: mirlib.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.


ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!





[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!