From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis

DOI10.1007/978-3-642-15769-1_7zbMath1306.68016OpenAlexW1524901764MaRDI QIDQ4930719

Diana Vanessa Ramírez Deantes, Samir Genaim, Puri Arenas, Elvira Albert, Germán Puebla

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/9122/

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Cost analysis of object-oriented bytecode programs

This page was built for publication: From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis