Publication Date

6-1998

Technical Report Number

TR98-07

Subjects

Software

Abstract

In this article we present a method for eliminating reference parameter aliases. The goal is to allow procedure calls with parameters being aliases, and at the same time guarantees that procedure bodies are alias-free. The method is to automatically dispatch to the correct procedure body based on the particular alias combination among actual parameters. Automating finding the alias combination makes writing verifiable programs verification simpler since code to find the combination is not explicitly present in client programs. The number of necessary procedure bodies is usually small which makes th eapproach practical. Efficiency of the dispatch is estimated to be no worse than in other languages.

Comments

Copyright © 1998 by Olga Antropova. Permission to make copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not distributed for profit or commercial advantage.

Share

COinS