Aliasing in Object-Oriented Programming : Types, Analysis, and Verification /

Contiene: La convención de Ginebra: Más allá de la Convención de Ginebra sobre el tratamiento de alias de objetos; La Convención de Ginebra sobre el tratamiento de alias de objetos. Propiedad: Tipos de propiedad: una encuesta; Nociones de solapamiento (aliasing) y propiedad; Entendimiento de los tip...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Clarke, Dave (edición)
Tác giả khác: Noble, James (edición) (edición), Wrigstad, Tobias (edición) (edición)
Định dạng: Sách
Ngôn ngữ:Tiếng Anh
Được phát hành: Heidelberg, Alemania : Springer, 2013, c2013
Loạt:(Lecture Notes in Computer Science ; 7850)
Những chủ đề:
Truy cập trực tuyến:Ver documento en línea
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!