Skip to search formSkip to main contentSkip to account menu

Alias analysis

Alias analysis is a technique in compiler theory, used to determine if a storage location may be accessed in more than one way. Two pointers are said… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Aliasing (computing)Automatic parallelizationAutomatic vectorizationCall graph

Broader (1)

Static program analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Platelet Volume Indices and Platelet Count in Patients with Acute Coronary Syndrome – Case control study
Background: Myocardial infarction is major cause of morbidity and mortality. Platelets play causal role in acute coronary… 
2016
2016
Evaluation of expression templates in C++14
In this work we discuss usage of expression templates with features of modern C++ language standards. We give an evaluation model… 
2015
2015
Alias Analysis in LLVM
1 
2014
2014
Easy-to-Use On-the-Fly Binary Program Acceleration on Many-Cores
This paper introduces Binary Acceleration At Runtime (BAAR), an easy-to-use on-the-fly binary acceleration mechanism which aims… 
2008
2008
Taxonomy and applications of alias analysis
Alias Analysis is a standard component of today’s optimizing compilers and automated program analysis tools. Due to the great… 
2004
2004
A Methodology to Create Legal Ontologies in a Logic Programming Based Web Information Retrieval System
Web legal information retrieval systems need the capability to reason with the knowledge modeled by legal ontologies. Using this… 
2003
2003
Semantic-Driven Parallelization of Loops Operating on User-Defined Containers
We describe ROSE, a C++ infrastructure for source-to-source translation, that provides an interface for programmers to easily… 
2001
2001
User-Extensible Simplification - Type-Based Optimizer Generators
For abstract data types (ADTs) there are many potential optimizations of code that current compilers are unable to perform. These… 
2001
2001
Alias Analysis by Means of a Model Checker
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for… 
1999
1999
Path‐sensitive alias analysis for data flow testing
This paper describes a new approach to performing data flow testing in the presence of aliasing, and a tool based on this method… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)