ACL--Eliminating Parameter Aliasing with Dynamic Dispatch Antropova, Olga
dc.contributor.department Computer Science 2018-02-13T22:04:16.000 2020-06-30T01:57:29Z 2020-06-30T01:57:29Z 1998-06-01
dc.description.abstract <p>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.</p>
dc.description.comments <p>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.</p>
dc.identifier archive/
dc.identifier.articleid 1014
dc.identifier.contextkey 5230325
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/8
dc.source.bitstream archive/|||Sat Jan 15 01:57:53 UTC 2022
dc.subject.disciplines Programming Languages and Compilers
dc.subject.keywords reference parameter aliasing
dc.subject.keywords global variable aliasing
dc.subject.keywords multi-body procedures
dc.subject.keywords dynamic dispatch
dc.subject.keywords static dispatch
dc.subject.keywords program verification
dc.subject.keywords ACL language
dc.subject.keywords alias-free programs
dc.subject.keywords compiler optimizations
dc.subject.keywords call-by-value and call-by-result patterns
dc.title ACL--Eliminating Parameter Aliasing with Dynamic Dispatch
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
332.82 KB
Adobe Portable Document Format