Clean Semantics for Calls with Repeated Arguments
Greg Kulczycki, Murali Sitaraman, William F. Ogden, Bruce W. Weide, Gregory W. Kulczycki · 2005
When arguments are repeated in a procedure call, aliasing arises and plays havoc with specification and reasoning. To prevent this aliasing, which renders the semantics of a language unclean even when all other sources of aliasing are avoided, we propose a simple new scheme for parameter passing that uses initial values for passing second and subsequent repeated arguments and localizes the effects of calls.