skip to main content
10.1145/1342211.1342239acmconferencesArticle/Chapter ViewAbstractPublication PagesisecConference Proceedingsconference-collections
poster

Precise static type analysis in component based programming environment

Published: 19 February 2008 Publication History

Abstract

Type analysis is one of the important aspects of object oriented and component based program compilation and development. With the emerging flexible computational environments, component technology is becoming the de-facto technology. In this paper, we present a precise and cost effective type analysis technique for component based systems where the whole code is inaccessible. The analysis uses metadata based summary information. We experimented the proposed technique with some application components. The proposed approach is shown to improve upon the existing class hierarchy based analysis

References

[1]
R. Chatterjee and B. Ryder. Data-flow-based testing of object-oriented libraries. Department of Computer Science, Rutgers University. DCS-TR-433, April 2001.
[2]
M. Das. Unification-based pointer analysis with directional assignments. In PLDI '00: Proc. of the ACM SIGPLAN 2000, pages 35--46. ACM Press, 2000.
[3]
C. Flanagan and M. Felleisen. Componential set-based analysis. ACM Trans. Program. Lang. Syst., 21(2):370--416, 1999.
[4]
F. J. A. for (Linux) PDAs and M. C. P. http://tuxmobil.org/.
[5]
D. Grove. Effective Interprocedural Optimization of Object-oriented Languages. PhD thesis, Washington Univ., 1998.
[6]
M. J. Harrold and G. Rothermel. Separate computation of alias information for reuse. In ISSTA '96: Proc. of the 1996 ACM SIGSOFT intl. symp. on Software testing and analysis, pages 107--120. ACM Press, 1996.
[7]
N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using cla: a million lines of c code in a second. In PLDI '01: Proc. of the ACM SIGPLAN 2001, pages 254--263. ACM Press, 2001.
[8]
R. Kumar and S. S. Chakraborty. Precise static type analysis for object oriented programs. SIGPLAN Not., 42(2):17--26, 2007.
[9]
A. Rountev, B. G. Ryder, and W. Landi. Data-flow analysis of program fragments. In proc. of ESEC/FSE-7, pages 235--252, London, UK, 1999. Springer-Verlag.
[10]
O. source code repository : http://sourceforge.net/.
[11]
F. Tip and J. Palsberg. Scalable propagation-based call graph construction algorithms. In proc. of OOPSLA '00, pages 281--293. ACM Press, 2000.

Index Terms

  1. Precise static type analysis in component based programming environment

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ISEC '08: Proceedings of the 1st India software engineering conference
    February 2008
    164 pages
    ISBN:9781595939173
    DOI:10.1145/1342211
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 19 February 2008

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. code component
    2. dynamic dispatch
    3. static type analysis

    Qualifiers

    • Poster

    Conference

    ISEC08
    Sponsor:
    ISEC08: India Software Engineering Conference
    February 19 - 22, 2008
    Hyderabad, India

    Acceptance Rates

    Overall Acceptance Rate 76 of 315 submissions, 24%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 144
      Total Downloads
    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 20 Jan 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media