Interprocedural def-use associations for C systems with single level pointers

DOI10.1109/32.286418zbMath0810.68095OpenAlexW2102010769WikidataQ111900608 ScholiaQ111900608MaRDI QIDQ4302744

H. D. Pande, Barbara G. Ryder, William A. Landi

Publication date: 29 September 1994

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/370cd51cc886c32bbeb1a54a917a861f0b323b4d

zbMATH Keywords

polynomial-time algorithmaliasingdef-use associations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Interprocedural def-use associations for C systems with single level pointers