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 Для сайта:Mirknig.su Размер: 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.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
C++ Programming: An Object-Oriented Approach Название: C++ Programming: An Object-Oriented Approach Автор: Behrouz A. Forouzan, Richard Gilberg Издательство: McGraw-Hill Education Год: 2019...
Object-Oriented vs. Functional Programming Название: Object-Oriented vs. Functional Programming Автор: Richard Warburton Издательство: O’Reilly Media ISBN: 9781491933428 Год: 2016 Страниц:...
Java, Java, Java: Object-Oriented Problem Solving Название: Java, Java, Java: Object-Oriented Problem Solving Автор: R. Morelli, R. Walde Год: 2018 Страниц: 1929 Формат: EPUB, MOBI, AZW3 Размер: 10...
A Guide to MATLAB Object-Oriented Programming Автор: Andy H. Register Название: A Guide to MATLAB Object-Oriented Programming Издательство: Chapman and Hall/CRC Год: 2007 ISBN: 978-1584889113...
Навигация
Вход на сайт
Реклама
Aliasing in Object-Oriented Programming: Types, Analysis and Verification 
