Using postdomination to reduce space requirements of data flow analysis

Authors:
C. Bernardeschi;G. Lettieri;L. Martini;P. Masci
Affiliations:
Dip. di Ingegneria dell'Informazione, Università di Pisa, Pisa, Italy;Dip. di Ingegneria dell'Informazione, Università di Pisa, Pisa, Italy;Dip. di Ingegneria dell'Informazione, Università di Pisa, Pisa, Italy;Dip. di Ingegneria dell'Informazione, Università di Pisa, Pisa, Italy
Venue:
Information Processing Letters
Year:
2006

Citing 3
Cited 1

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Bytecode verification on Java smart cards

Software—Practice & Experience

Decomposing bytecode verification by abstract interpretation

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.89

Visualization

Abstract