A relational framework for abstract interpretation

Authors:
Alan Mycroft;Neil D. Jones
Affiliations:
-;-
Venue:
Programs as Data Objects, Proceedings of a Workshop
Year:
1985

Citing 0
Cited 3

Computation of aliases and support sets

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A calculus of logical relations for over- and underapproximating static analyses

Science of Computer Programming
Flow analysis of lazy higher-order functional programs

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract