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...
Guardado en:
| Autor principal: | |
|---|---|
| Otros autores: | , |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Heidelberg, Alemania :
Springer,
2013, c2013
|
| Colección: | (Lecture Notes in Computer Science ;
7850) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
| Resumen: | 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 tipos de propiedad con tipos de dependientes; Grafos objetivos con dominios de propiedad: un estudio empírico. Competencia: Control de alias por paralelismo determinístico. Análisis de alias: Análisis de alias por programas orientados a objetos. Efectos de control: Inmutabilidad; Permisos fraccionales. Verificación: Propiedad de objeto en verificación de programa; Encapsulación basada en estado por razonamiento modular acerca de la refactorización de preservación comportamental; Lógica de separación por programación orientada a objetos; VeriFast para Java: un tutorial. Lenguajes de programación: Roles confinados y decapsulación en equipos de objetos - ¿contradicción o sinergia?; Tipos de localización por programación segura con referencias de cercanía y lejanía. Visiones: El futuro del solapamiento en programación paralela; Visiones de solapamiento: propiedad y localización; Análisis de alias: más allá del código; ¿Cómo, entonces, tenemos que programar?; Una retrospectiva sobre sistemas típicos de solapamiento: 2012-2022; Solapamiento estructurado. |
|---|---|
| Descripción física: | 1 libro electrónico en línea (VIII, 513 p.) 1 recurso en línea |
| ISBN: | 978-3-642-36946-9 |
| Acceso: | Licencias ilimitadas |