Cr Categories Programming Alias-free parameters in C using multibodies Medhat G. Assaad July 2001...  Home/Search
Context
Related
| iastate.edu/pub/techreports/TR...TR.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: iastate.edu/~leavens/students (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper discusses some of the di#erent approaches that have been used to deal with aliasing problems, and it studies the e#ectiveness of the ACL approach [10]. The ACL approach limits aliasing based on dispatch to di#erent bodies of the same function according to the aliasing pattern at the call site. In this paper we use the same approach and apply it to the C programming language, and then measure the performance of the resulting code. The rest of this introduction is organized as follows. ... (Update)
Active bibliography (related documents): More All
1.4: Alias-free Parameters in C for Better Reasoning and Optimization - Assaad, Leavens (Correct)
0.5: Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
0.3: Mathematical Foundations and Notation of RESOLVE - Wayne Heym (1994) (Correct)
Similar documents based on text: More All
0.7: ACL - Eliminating Parameter Aliasing with Dynamic Dispatch - Leavens, Antropova (1999) (Correct)
0.3: ACL - Eliminating parameter aliasing with dynamic dispatch - At Ch (Correct)
0.1: An Interactive Generalized Motion Simulator (GMS) in an.. - Son, Kim, Amato (Correct)
BibTeX entry: (Update)
@misc{ programming-unknown,
author = "Cr Categories Programming",
title = "Unknown",
url = "citeseer.ist.psu.edu/611333.html" }
Citations (may not include all citations):86 Advanced Compiler Design and Implementation (context) - Muchnick - 1997
57 Modern Compiler Implementation in ML (context) - Appel - 1998
26 Special feature: Component-based software using RESOLVE (context) - Sitaraman, Weide - 1994
19 Part I: The RESOLVE framework and discipline --- a research .. (context) - Ogden, Sitaraman et al. - 1994
14 Programming Language -- C (context) - for
11 Notes on the design of Euclid (context) - Popek, Horning et al. - 1977
6 Part ii: Specifying components in RESOLVE (context) - Edwards, Heym et al. - 1994
5 and Je#rey D (context) - Aho, Sethi - 1986
4 Using the XL compiler options to improve application perform.. (context) - Stewart - 1998
3 The Influence of Software Reuse on Programming Language Desi.. (context) - Harms - 1990
2 for AIX/6000 User's Guide Version (context) - Corporation, Set
2 AIX Version 3 for RS/6000: Optimization and Tuning Guide for.. (context) - Corporation
2 ACL --- Eliminating Parameter Aliasing with Dynamic Dispatch - Leavens, Antropova - 1999
1 Using and porting the gnu compiler collection (context) - Foundation - 2001
1 Part III: Implementing components in RESOLVE (context) - Bucci, Hollingsworth et al. - 1994
1 Information Representation and Manipulation in a Computer (context) - Page, Wilson - 1978
Documents on the same site (http://www.cs.iastate.edu/~leavens/students.html): More
Evaluating the Expressiveness of a Multimethod Object-Oriented.. - Karakoy (1998) (Correct)
Model Variables: Cleanly Supporting Abstraction in.. - Cheon, Leavens.. (2003) (Correct)
Preventing Cross-Type Aliasing for More Practical Reasoning - Dhara, Leavens (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC