A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages

Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in single assignment languages sometimes su er from a performance handicap compared to those in imperative languages. Traditional attempts to address this problem have typically involved either complex compile-time analyses, which tend to be slow and fragile; or new language constructs, which do not always interface with already existing code. In this paper, we propose a new approach to this problem, based on a simple and straightforward program transformation, that we believe addresses the shortcomings of both of these approaches: it is easy to understand, e ciently implemented, does not require new language constructs, and yet is applicable to most commonly encountered programs. Supported by the Swedish Research Council for Engineering Sciences (TFR) under grant number 282-95-974. y Supported in part by the N...

• Type: Conference
• Year: 1997
• Where: ICLP
• Authors: Andreas Kågedal, Saumya K. Debray
• Keywords: Automated Reasoning, Complex Compile-time Analyses, ICLP 1997, Imperative Languages, Single Assignment Languages