Static Reduction Analysis for Imperative Object Oriented Languages

Abstract we define a generic control-flow sensitive static analysis, Static Reduction Analysis (SRA), for an untyped object-oriented language featuring side-effects and exceptions. While its aims and range of applications closely relate to Control Flow Analysis (CFA), SRA exhibits a distinguishing feature: it only deals with abstract syntax tree (AST) nodes and does not involve approximations of environments nor stores.

Authors

• Gilles Barthe
• Bernard P. Serpette

Keywords

No keywords are indexed for this paper.