Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
межпроцедурный
Связанные издания:
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis
An Interprocedural Framework for the Data and Loops Partitioning in the SIMD Machines
A Novel Program Representation for Interprocedural Analysis
A Precise Demand-Driven Def-Use Chaining Algorithm
Automatic Data Distribution Method Using First Touch Control for Distributed Shared Memory Multiprocessors
Chapter 7. Interprocedural Analysis Based on Guarded Array Regions
Combining Conditional Constant Propagation and Interprocedural Alias Analysis
Data-Flow Analysis of Program Fragments
Demand-Driven Interprocedural Array Property Analysis
ECOOP 2005 - Object-Oriented Programming: Proc./19th European Conference. Glasgow, UK, July 2005
Efficient Algorithms for Pre and Post on Interprocedural Parallel Flow Graphs
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization
Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis
ILP-Based Interprocedural Path Analysis
Inteprocedural Pointer Alias Analysis
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Interprocedural Partial Redundancy Elimination with Application to Distributed Memory Compilation
Interprocedural Path Profiling
Interprocedural Shape Analysis for Recursive Programs
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
Interprocedural Transformations for Extracting Maximum Parallelism
Optimal Interprocedural Program Optimization: A New Framework and Its Application
Pointer Analysis for Multithreaded Programs
Precise Interprocedural Analysis through Linear Algebra
Speculative Prediction Across Arbitrary Interprocedural Control Flow
Splice: Aspects that Analyze Programs
Static Analysis: Proc./12th International Symposium, SAS 2005. London, UK, September 2005
Static Analysis: Proc./13th International Symposium, SAS 2006. Seoul, Korea, August 2006
SUIF Explorer: An Interactive and Interprocedural Parallelizer
Summarizing Procedures in Concurrent Programs
The Access Region Test
The Interprocedural Express-Lane Transformation
Thread-Sensitive Points-to Analysis for Multithreased Java Programs
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Which Pointer Analysis Should I Use?
Методы межпроцедурного анализа
Современные методы межпроцедурного анализа программ