Type Test Elimination using Typeflow Analysis

Corney, Diane & Gough, John (1994) Type Test Elimination using Typeflow Analysis. In Lecture Notes in Computer Science, Springer Berlin / Heidelberg, Zurich, Switzerland, pp. 137-150.

[img] Conference Paper (PDF 204kB)
Published Version.
Administrators only | Request a copy from author

View at publisher


Programs written in languages of the Oberon family usually contain runtime tests on the dynamic type of variables. In some cases it may be desirable to reduce the number of such tests. Typeflow analysis is a static method of determining bounds on the types that objects may possess at runtime. We show that this analysis is able to reduce the number of tests in certain plausible circumstances. Furthermore, the same analysis is able to detect certain program errors at compile time, which would normally only be detected at program execution. This paper introduces the concepts of typeflow analysis and details its use in the reduction of runtime overhead in Oberon-2.

Impact and interest:

Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 30158
Item Type: Conference Paper
Refereed: Yes
Keywords: typeflow analysis, dynamic typing, type tests, Oberon-2
DOI: 10.1007/3-540-57840-4
ISBN: 9783540578406
ISSN: 0302-9743
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300) > Programming Languages (080308)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 1994 Please consult the authors.
Deposited On: 04 Feb 2010 05:25
Last Modified: 09 Jun 2010 14:20

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page