Transformational derivation of an improved alias analysis algorithm
type: Item
instance of: scholarly article
title: Transformational derivation of an improved alias analysis algorithm
zbMATH Open document ID: 1084.68016
author: Deepak Goyal
published in: Higher-Order and Symbolic Computation
publication date: 2006-02-08T00:00:00Z
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5004549
zbMATH Keywords: may-alias analysis
zbMATH Keywords: pointer analysis
zbMATH Keywords: control flow graph
zbMATH Keywords: dominated convergence
zbMATH Keywords: finite differencing
zbMATH Keywords: workset algorithm
zbMATH Keywords: alias graph
zbMATH Keywords: sparse evaluation graph
zbMATH Keywords: continuity
zbMATH Keywords: input-bounded
zbMATH Keywords: output-bounded
describes a project that uses: SETL
MaRDI profile type: Publication
full work available at URL: s10990-005-7005-6
OpenAlex ID: W2090596346
cites work: Q4091421
cites work: Q5452362
cites work: Program derivation by fixed point computation
cites work: Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
cites work: Making data structures persistent
cites work: High level iterators and a method for automatically designing data structure representation
cites work: Monotone data flow analysis frameworks
cites work: Q4068060
cites work: Fixed point theorems and semantics: A folk tale
cites work: Finite Differencing of Computable Expressions
cites work: A linear time solution to the single function coarsest partition problem
cites work: An Automatic Technique for Selection of Data Representations in SETL Programs
cites work: Q3741005
cites work: Q5686039
cites work: A lattice-theoretical fixpoint theorem and its applications
DOI: 10.1007/S10990-005-7005-6
Recommended article: A Formally-Verified Alias Analysis
Recommended article: Transformation synthesis of efficient algorithms with auxiliary specifications
Recommended article: A logical analysis of aliasing in imperative higher-order functions
Recommended article: Q2764059
Recommended article: Compiler Construction
Recommended article: Transformational Programming and the Derivation of Algorithms
Recommended article: On the Use of Alloy to Analyze Graph Transformation Systems
Recommended article: Q4411949
description: scientific article; zbMATH DE number 5004549