文献

J-GLOBAL ID：202202283574000824   整理番号：22A0496715

自動プログラム変換により安全に安全なFortranコード型を安全にする【JST・京大機械翻訳】

Making legacy Fortran code type safe through automated program transformation

著者 (1件)： Vanderbauwhede Wim (School of Computing Science, University of Glasgow, Glasgow, UK)
資料名： Journal of Supercomputing  (Journal of Supercomputing)
巻： 78  号： 2  ページ： 2988-3028  発行年： 2022年 
JST資料番号： T0418A  ISSN： 0920-8542  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： フォートランは科学計算においてまだ広く使われており,新しいコードと同様にレガシーの非常に大きなコーパスがFORTRAN77で書かれた。一般的に,このコードは安全でないので,不正確なプログラムは誤差なしでコンパイルできる。本論文では,自動プログラム変換によるレガシーフォートランコードの型安全性を確保するための形式的手法を提示した。本研究の目的は,タイプ安全性を保証することによってプログラミング誤差を低減することである。FORTRAN 77の型安全性とFORTRAN 77サブルーチンを変換し,FORTRAN 77サブルーチンを変換するのに必要な新しいプログラム変換とタイプ検査アルゴリズム,およびFortran 90の関数に機能する,新しいプログラム変換とタイプ検査アルゴリズムの最初の厳密な解析を示した。これらのアルゴリズムをソースツーソースコンパイラに実装し,レガシーコードをタイプチェックし,自動的に変換する。その結果,得られたコードはタイプ安全であり,純粋,サイド効果フリー,および参照的に透明なサブルーチンが加速器に容易にオフロードできることを示した。Copyright The Author(s) 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  加速器 ,  FORTRAN ,  *プログラム変換 ,  コーパス
準シソーラス用語： 科学計算 ,  サブルーチン ,  コンパイル , 【Automatic Indexing@JST】

著者キーワード (5件)： Fortran ,  タイプの安全性 ,  タイプシステム ,  プログラム変換 ,  加速

分類 (4件)： 数値計算  (JE02000J) ,  システムプログラミング一般  (JD03010Y) ,  言語プロセッサ  (JD03040F) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： プログラム変換 ,  FORTRAN