Interprocedural def-use associations for C systems with single level pointers
From MaRDI portal
Publication:4302744
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
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