Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
aliasing
Связанные издания:
Alias calculus for a simple imperative language with decidable pointer arithmetic
Aliasing in Object-Oriented Programming: Types, Analysis, and Verification
Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing
On Logics of Aliasing
Ownership Domains: Separating Aliasing Policy from Mechanism