部品階層に基づくオブジェクト指向プログラミングトランスレータの検証

スポンサーリンク

概要

論文の詳細を見る
筆者らは部品階層に基づくオブジェクト指向プログラミングを提案している.部品階層では,システムを構成するオブジェクト群が成す構造を階層的に定義することにより,プログラムの読みやすさを改善し,また,メッセージを配送する機能を提供することで,階層を構成するオブジェクト間で柔軟なメッセージの送信が可能となっている.この部品階層はObjective-C言語の文法を拡張して実装されており,通常のObjective-C言語のプログラムに変換するトランスレータも開発されている.本稿では,この部品階層に基づくプログラムをπ計算で記述するための変換規則を定義し,トランスレータによる変換前後のプログラムの動作を計算を用いて比較することにより,メッセージ配送のトランスレートについて検証を行なう.
一般社団法人情報処理学会の論文
1994-01-20

著者

関連論文

もっと見る

スポンサーリンク