A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations

Publisher Website

2 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 2-13
https://doi.org/10.1109/iccl.1992.185463

Abstract

No abstract available

Keywords

This publication has 39 references indexed in Scilit:

Is there a use for linear logic?
Published by Association for Computing Machinery (ACM) ,1991
Static analysis of linear congruence equalities among variables of a program
Published by Springer Nature ,1991
Minimal and complete word unification
Journal of the ACM, 1990
Parallelizing programs with recursive data structures
IEEE Transactions on Parallel and Distributed Systems, 1990
Dependence analysis for pointer variables
Published by Association for Computing Machinery (ACM) ,1989
Analysis of functional programs to detect run-time garbage cells
ACM Transactions on Programming Languages and Systems, 1988
Lifetime analysis of dynamically allocated objects
Published by Association for Computing Machinery (ACM) ,1988
A semantic model of reference counting and its abstraction (detailed summary)
Published by Association for Computing Machinery (ACM) ,1986
From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview
Published by Springer Nature ,1984
Galois connexions
Transactions of the American Mathematical Society, 1944