Definite Expression Aliasing Analysis for Java Bytecode

DOI10.1007/978-3-642-32943-2_6zbMath1362.68031OpenAlexW1889892273MaRDI QIDQ2915100

Đurica Nikolić, Fausto Spoto

Publication date: 21 September 2012

Published in: Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32943-2_6

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (1)

Inferring complete initialization of arrays

This page was built for publication: Definite Expression Aliasing Analysis for Java Bytecode