Pattern Matching of Incompletely RE-Typed Expressions via Transformation

• Item type: Trans(1)
• 公開日: 2006-05-15
• タイトル: Pattern Matching of Incompletely RE-Typed Expressions via Transformation
• タイトル / 言語: en
• タイトル: Pattern Matching of Incompletely RE-Typed Expressions via Transformation
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 通常論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: Chubu University
• 著者所属: The University of Aizu
• 著者所属(英): en
• 著者所属(英): Chubu University
• 著者所属(英): en
• 著者所属(英): The University of Aizu
• 著者名: Satoshi, Okui; Taro, Suzuki
• 著者名(英): Satoshi, Okui; Taro, Suzuki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: An important issue in implementing high-level programming languages for use by translators into C is how to support high-level language features not available in C. Java’s exception handling is one such feature and translating it into portable C which only uses C-style control structures involves some challenges. Previous studies have proposed ways of translating the Java-style try-catch construct into C. In this paper we propose a new scheme for implementing it in an efficient and portable manner. We use our parallel language OPA which is an extended Java language and its translator. In our scheme we do not use troublesome setjmp/longjmp routines for non-local jumps. Instead we check the occurrences of exceptions using functions’ return values. Java also has the try-finally construct mainly used for cleaning up which cannot be translated directly into C-style control structures. To implement it we developed a new scheme with integer values corresponding to continuation targets. Compared with other techniques ours has advantages in both the runtime overhead and the generated code size. For these two features using some benchmark programs we measured the performance of our scheme and compared it with those of some other schemes.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An important issue in implementing high-level programming languages for use by translators into C is how to support high-level language features not available in C. Java’s exception handling is one such feature, and translating it into portable C, which only uses C-style control structures, involves some challenges. Previous studies have proposed ways of translating the Java-style try-catch construct into C. In this paper, we propose a new scheme for implementing it in an efficient and portable manner. We use our parallel language OPA, which is an extended Java language, and its translator. In our scheme, we do not use troublesome setjmp/longjmp routines for non-local jumps. Instead, we check the occurrences of exceptions using functions’ return values. Java also has the try-finally construct, mainly used for cleaning up, which cannot be translated directly into C-style control structures. To implement it, we developed a new scheme with integer values corresponding to continuation targets. Compared with other techniques, ours has advantages in both the runtime overhead and the generated code size. For these two features, using some benchmark programs, we measured the performance of our scheme and compared it with those of some other schemes.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464814
• 書誌情報: 情報処理学会論文誌プログラミング（PRO）; 巻 47, 号 SIG6(PRO29), p. 37-49, 発行日 2006-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7802
• 出版者 / 言語: ja
• 出版者: 情報処理学会