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...

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר ראשי: Clarke, Dave (edición)
מחברים אחרים: Noble, James (edición) (edición), Wrigstad, Tobias (edición) (edición)
פורמט: ספר
שפה:אנגלית
יצא לאור: Heidelberg, Alemania : Springer, 2013, c2013
סדרה:(Lecture Notes in Computer Science ; 7850)
נושאים:
גישה מקוונת:Ver documento en línea
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!