Вы здесь

Главная

указатель

Связанные издания:

Alias Analysis of Pointers in Pascal and Fortran 90: Dependence Analysis between Pointer References
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
A Scalable Nonuniform Pointer Analysis for Embedded Systems
Assessting the Effects of Flow-Sensitivity on Pointer Alias Analyses
A Trace Model for Pointers and Objects
Bottom-Up and Top-Down Context-Sensitive Summary Based Pointer Analysis
Bounded Model Checking of Pointer Programs
Building a Bridge between Pointer Aliases and Program Dependences
Capabilities for Sharing: A Generalization of Uniqueness and Read-Only
Client-Driven Pointer Analysis
Completeness Analysis for Incomplete Object-Oriented Programs
Detecting Memory Errors via Static Pointer Analysis
Effective Whole-Program Analysis in the Presence of Pointers
Efficient Context-Sensitive Pointer Analysis for C Programs
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
Efficient Points-to Analysis Whole-Program Analysis
Experiments with Combined Analysis for Pointer Aiasing
Fortran 90 Pointers vs. "Cray" Pointers
Inteprocedural Pointer Alias Analysis
Interprocedural Pointer Alias Analysis
Minimizing Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures
Multi-prover Verification of C Programs
On Logics of Aliasing
Pointer Analysis for Multithreaded Programs
Pointer Analysis for Programs with Structures and Casting
Pointer-Range Analysis
Probabilistic Points-to Analysis
Putting Pointer Analysis to Work
Scaling Java Points-to Analysis Using SPARK
Separate Computation of Alias Information for Reuse
Symbolic verification method for definite iterations over tuples of altered data structures
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
To NReverse when Consing a List or by Pointer Manipulation, to Avoid It; that is the Question
Where Is the Evidence Against Arrays and Pointers?
Высокоуровневая модель памяти помежуточного языка JESSIE с поддержкой произвольного приведения типов указателей
Денотационная семантика процедур, функций и указателей